Skip to content

Brancher: Handle already cancelled error#192

Merged
tdgroot merged 1 commit intomasterfrom
handle_brancher_already_cancelled
Jan 20, 2026
Merged

Brancher: Handle already cancelled error#192
tdgroot merged 1 commit intomasterfrom
handle_brancher_already_cancelled

Conversation

@tdgroot
Copy link
Member

@tdgroot tdgroot commented Jan 20, 2026

It doesn't make any sense to fail on brancher already being cancelled or not existing.

It doesn't make any sense to fail on brancher already being cancelled or
not existing.
@tdgroot tdgroot merged commit 9eef87b into master Jan 20, 2026
12 checks passed
@tdgroot tdgroot deleted the handle_brancher_already_cancelled branch January 20, 2026 14:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

3 participants