Skip to content

ci: Only run CI for pushes to master branch and PRs#303

Closed
tomkerkhove wants to merge 1 commit intomasterfrom tomkerkhove-patch-2

Commits

Commits on May 4, 2023