Skip to content

Run CI on both push to origin branches and pull requests#360

Merged
mwoss merged 2 commits intomasterfrom ci-update-prApr 4, 2024