projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d0ce9d1) | patch
Regression level 0 for distcheck on Travis (#1714)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 26 Mar 2018 20:30:26 +0000 (13:30 -0700)
committerGitHub <noreply@github.com>
Mon, 26 Mar 2018 20:30:26 +0000 (13:30 -0700)
commitbf300b47de94182145f5c4d0f0ec0e7cf09b6143
tree0e2baed73dde7aecb7c886641132465c216d983ftree
parentd0ce9d1dd563e6ec5c84743ced1b07ff0b3b9cb5commit | diff
Regression level 0 for distcheck on Travis (#1714)

We are running all our Travis tests with regression level 0 except for
distcheck, which is running with the default level 1. This commit lowers
the level to 0 to make all jobs consistent.
.travis.yml diff | blob | history