Skip to content

ci: one run per PR (push only on master) + cancel superseded runs#3

Merged
richiejp merged 1 commit into
masterfrom
ci-fixes
Jun 16, 2026
Merged

ci: one run per PR (push only on master) + cancel superseded runs#3
richiejp merged 1 commit into
masterfrom
ci-fixes

Commits

Commits on Jun 16, 2026