Skip to content

ci: Cancel in-progress CI jobs when a PR is closed or merged#5725

Merged
antonis merged 2 commits intomainfrom
antonis/cancel-pr-workflows-on-close
Feb 26, 2026
Merged

ci: Cancel in-progress CI jobs when a PR is closed or merged#5725
antonis merged 2 commits intomainfrom
antonis/cancel-pr-workflows-on-close

Commits

Commits on Feb 26, 2026