Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
CI: Update workflow to run on any push and PR
Previously, the CI pipeline was only run on pushes to a specific branch. That branch does not exist anymore. Rather it makes more sense to run the CI on any push to the repository, as well as on any Pull Request.
- Loading branch information