Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[BUGFIX] Fix CI builds for PRs from forks (#360)
It has turned out that having builds only for pushes (but not pull requests) is not enough for triggering builds for PRs from forks. So we will need to live with pushes to non-PR branches other than main not triggering a build, and having to create a dummy draft PR for testing the CI build. This reverts commit d1f02af. Fixes #359
- Loading branch information