Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Browse files
Browse the repository at this point in the history
This commit removes the branch filtering on PRs. It prevented the build pipeline from triggering in certain cases but we want to trigger it for all PRs, so the filtering just did not make sense. Closes: #673 PR: #674
- Loading branch information