projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7f08ae4) | patch
Fix CI builds and add cancel workflow.
authorMathias Preiner <mathias.preiner@gmail.com>
Sat, 3 Oct 2020 19:39:37 +0000 (12:39 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Sat, 3 Oct 2020 19:39:37 +0000 (12:39 -0700)
commit856d806d362b81bbf5a692d15d31f0161467bbd1
tree5e42b4df52d7e0709f7cf1ada97b3622cf601063tree
parent7f08ae4ec52924110b648381280a07e6a812d09acommit | diff
Fix CI builds and add cancel workflow.
.github/workflows/cancel.yml [new file with mode: 0644] blob
.github/workflows/ci.yml diff | blob | history