Skip to content

allow GitHub actions CI to run on PRs not merging with master#140

Merged
kmike merged 1 commit intomasterfrom ci-on-non-master-branchFeb 22, 2023