projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: df6ce03) | patch
use one process more than we have cores (#8545)
authorGereon Kremer <gkremer@cs.stanford.edu>
Sat, 2 Apr 2022 20:03:56 +0000 (22:03 +0200)
committerGitHub <noreply@github.com>
Sat, 2 Apr 2022 20:03:56 +0000 (20:03 +0000)
commitafdc254640a2c8535c10feb6662793c12011b86e
tree1530203302927cfe89eaf811b1e23b1d7ae3a1a7tree
parentdf6ce0361d549c3cef4303d05d72ee8b5c8612b1commit | diff
use one process more than we have cores (#8545)

This PR uses one process more than we have cores in the CI. This speeds up the CI jobs when time is spent waiting on IO instead of actually using the CPU.
.github/actions/install-dependencies/action.yml diff | blob | history