projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bc25c9c) | patch
ci: Do not cancel jobs on main branch. (#8471)
authorMathias Preiner <mathias.preiner@gmail.com>
Thu, 31 Mar 2022 00:50:04 +0000 (17:50 -0700)
committerGitHub <noreply@github.com>
Thu, 31 Mar 2022 00:50:04 +0000 (17:50 -0700)
commit41cc2b3dbd78f12b35cb99afa91965aca53aa687
tree65f925b6a9b3bf339ba0be8a9de30ef012246214tree
parentbc25c9c4408616b905acec8d1868506a1f425e68commit | diff
ci: Do not cancel jobs on main branch. (#8471)

This will prevent that jobs on the main branch get cancelled when new PRs are merged in before the previous ones finished on main.
.github/workflows/ci.yml diff | blob | history