projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9079d44) | patch
Always cancel already running CI runs on forks (#8542)
authorGereon Kremer <gkremer@cs.stanford.edu>
Sat, 2 Apr 2022 18:08:36 +0000 (20:08 +0200)
committerGitHub <noreply@github.com>
Sat, 2 Apr 2022 18:08:36 +0000 (18:08 +0000)
commita9e1aad9ae2bccd3c5fd9023528c9e379728e87d
treee4b819e4e7f79522e016d9fb0c573677aa42e0eetree
parent9079d4482aaeba27232fa01fefa4cb7ff8f88787commit | diff
Always cancel already running CI runs on forks (#8542)

One effect of our changed concurrency policy is that we never cancel runs on forks. This PR changes this, always allowing the concurrency mechanism to cancel on repositories that are not the main repository.
.github/workflows/ci.yml diff | blob | history