projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 66b6716) | patch
[CI] Add step for running unit/API tests (#7116)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 2 Sep 2021 17:19:35 +0000 (10:19 -0700)
committerGitHub <noreply@github.com>
Thu, 2 Sep 2021 17:19:35 +0000 (17:19 +0000)
commitc80329233a0baf3e56bfd4a341f8314309bfc263
treea482524e191b46911a252fb55c164e37038d4f78tree
parent66b67160df9ce4974039a1c137e84c859fad5237commit | diff
[CI] Add step for running unit/API tests (#7116)

Currently, we configure one of our builds to include unit tests but then
do not compile and run them. This commit adds a step to compile and run
the unit/API tests.
.github/workflows/ci.yml diff | blob | history