Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix CI workflow to function on forked pushes.
This is what we did in the (abandoned) PR #2510 and should have been done in PR #2512. It means that when the CI runs on pushes to a forked repository, it checks out that forked repository.
- Loading branch information