Skip to content

Only cancel CI runs in PRs and not in main/release branches#3063

Merged
ahojnnes merged 3 commits into
mainfrom
user/jsch/cancel-ci-pr
Dec 18, 2024
Merged

Only cancel CI runs in PRs and not in main/release branches#3063
ahojnnes merged 3 commits into
mainfrom
user/jsch/cancel-ci-pr

Conversation

@ahojnnes

Copy link
Copy Markdown
Contributor

No description provided.

@ahojnnes ahojnnes enabled auto-merge (squash) December 18, 2024 17:53
@ahojnnes ahojnnes merged commit 673755b into main Dec 18, 2024
@ahojnnes ahojnnes deleted the user/jsch/cancel-ci-pr branch December 18, 2024 18:39
HernandoR pushed a commit to HernandoR/colmap that referenced this pull request Dec 30, 2024
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.

2 participants