projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d557a47) | patch
GH Actions: Cancel builds on push, remove redundant mac OS build. (#4779)
authorAina Niemetz <aina.niemetz@gmail.com>
Tue, 21 Jul 2020 17:50:54 +0000 (10:50 -0700)
committerGitHub <noreply@github.com>
Tue, 21 Jul 2020 17:50:54 +0000 (10:50 -0700)
commitffed1a0c2da3c28ce910f1a19462ffa771c5b252
treed04adb6b6fce7f3c3e21c3241b9c50f111570e24tree
parentd557a478c4643fc0bfd8c578db59803224c85b43commit | diff
GH Actions: Cancel builds on push, remove redundant mac OS build. (#4779)
.github/workflows/ci.yml diff | blob | history