projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: af031c2) | patch
[CI] Build with all available cores (#6768)
authorAndres Noetzli <andres.noetzli@gmail.com>
Sat, 19 Jun 2021 04:07:10 +0000 (21:07 -0700)
committerGitHub <noreply@github.com>
Sat, 19 Jun 2021 04:07:10 +0000 (04:07 +0000)
commit34c5774e511ebb2e5e9672cb7381797c3cd6264e
tree5a730783bfc9f9414097f0f423b2b050b944b3aetree
parentaf031c2938f753f555893b39c3cf1f7467b284fccommit | diff
[CI] Build with all available cores (#6768)

macOS virtual machines have three available cores but we were only using two of them for our CI. This commit changes the CI to retrieve the number of available cores and then to use that to number to build and test cvc5.
.github/workflows/ci.yml diff | blob | history