projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bded1a2) | patch
Switch to GitHub actions for CI (#4190)
authorMathias Preiner <mathias.preiner@gmail.com>
Tue, 31 Mar 2020 23:44:03 +0000 (16:44 -0700)
committerGitHub <noreply@github.com>
Tue, 31 Mar 2020 23:44:03 +0000 (16:44 -0700)
commit186b3872a3de454d0f30224dc2e0a396163c3fdc
tree43de111d5b4addf3d64b4fd63d2ffae9c2ede23etree
parentbded1a268b0ca9959ca1223dd04de8db535cc99acommit | diff
Switch to GitHub actions for CI (#4190)

Enable CI with GitHub actions, add macOS builds and disable Travis CI.
.github/workflows/ci.yml [new file with mode: 0644] blob
.travis.yml [deleted file] blob | history
README.md diff | blob | history
configure.sh diff | blob | history