projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2bd4042) | patch
Use native cancellation mechanism (#8311)
authorGereon Kremer <gkremer@cs.stanford.edu>
Wed, 16 Mar 2022 20:54:12 +0000 (21:54 +0100)
committerGitHub <noreply@github.com>
Wed, 16 Mar 2022 20:54:12 +0000 (20:54 +0000)
commit154e04b41ee811a302faf2bef86e86e3ce856888
tree5b42a04e150aa20e1759b9a7a9c609dcb1abbe97tree
parent2bd404249035c03063ac464d4bace855975bbbd7commit | diff
Use native cancellation mechanism (#8311)

Github actions have a native mechanism to cancel previous runs of the same workflow now, much like the cancel workflow we have.
.github/workflows/cancel.yml [deleted file] blob | history
.github/workflows/ci.yml diff | blob | history