Skip to content

Cancel workflow if another commit is pushed to the PR#134

Merged
KedoKudo merged 2 commits intomainfrom
cancel_jobs
Jan 8, 2026
Merged

Cancel workflow if another commit is pushed to the PR#134
KedoKudo merged 2 commits intomainfrom
cancel_jobs

Commits

Commits on Jan 7, 2026