Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #25 from flowr-analysis/24-ci-devtools-checks-are-…
…repeated-for-push-and-pull-request-triggers Only trigger the CI workflow for the main branch on push events
- Loading branch information