Skip to content

Run the Pull Request CI for all PRs, not just to main#18

Merged
vegarsti merged 1 commit intomainfrom always-run-pr-ciJun 12, 2024

Commits

Commits on Jun 12, 2024