Skip to content

Run CI on pushes and PRs to master#2105

Merged
Borewit merged 6 commits intoBorewit:masterfrom bjornstar:run-ci-on-prJun 30, 2024

Commits