Skip to content

cancel existing runs when new commits added to PR - #1607

Merged
Gin890 merged 1 commit into
mainfrom
improve-ci
Oct 17, 2026
Merged

Gin890 merged 1 commit into
mainfrom
improve-ci

Conversation

@Gin890

@Gin890 Gin890 commented Oct 17, 2026

Copy link
Copy Markdown
Collaborator

No description provided.

@Gin890
Gin890 merged commit 10026ca into main Oct 17, 2026
8 checks passed
@Gin890
Gin890 deleted the improve-ci branch October 17, 2026 18:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant