Skip to content

GitHub Actions CI: Don't skip intermediate builds on master; only cancel intermediate builds on PR builds#909

Merged
giordano merged 1 commit into
masterfrom
dpa/do-not-cancel-ci-builds-on-master
May 7, 2025
Merged

GitHub Actions CI: Don't skip intermediate builds on master; only cancel intermediate builds on PR builds#909
giordano merged 1 commit into
masterfrom
dpa/do-not-cancel-ci-builds-on-master

Commits

Commits on May 7, 2025