Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
GitHubCI: no need to filter by branch
Removing the branch filters from the GitHub workflows allows potential contributors to see the CI status of their contributions before they propose a PR (therefore allowing them to improve their work before putting it up for review).
- Loading branch information