diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-06-17 15:55:39 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-06-17 15:55:39 -0400 |
| commit | 16382f1e356cadfd8d50252ae397306d9f246ba9 (patch) | |
| tree | 1e5c51a1215ba36d91fe33625cbe1a97c0e7e1f9 /.travis.yml | |
| parent | de4dd45d760933f1d521279adb24d7accf7c7b56 (diff) | |
Don't make curves proofs on travis (hopefully fast enough build)
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.travis.yml b/.travis.yml index c015c07d0..34e1cb45f 100644 --- a/.travis.yml +++ b/.travis.yml @@ -8,11 +8,11 @@ matrix: - dist: trusty env: COQ_VERSION="trunk" COQ_PACKAGE="coq" COQPRIME="coqprime" PPA="ppa:jgross-h/coq-trunk-daily" TARGETS="coq" - dist: trusty - env: COQ_VERSION="v8.6" COQ_PACKAGE="coq" COQPRIME="coqprime" PPA="ppa:jgross-h/coq-8.6-daily" TARGETS="coq" + env: COQ_VERSION="v8.6" COQ_PACKAGE="coq" COQPRIME="coqprime" PPA="ppa:jgross-h/coq-8.6-daily" TARGETS="no-curves-proofs" - dist: trusty env: COQ_VERSION="v8.5" COQ_PACKAGE="coq" COQPRIME="coqprime" PPA="ppa:jgross-h/coq-8.5-daily" TARGETS="lite" - dist: trusty - env: COQ_VERSION="8.6" COQ_PACKAGE="coq-8.6" COQPRIME="coqprime" PPA="ppa:jgross-h/many-coq-versions" TARGETS="coq" + env: COQ_VERSION="8.6" COQ_PACKAGE="coq-8.6" COQPRIME="coqprime" PPA="ppa:jgross-h/many-coq-versions" TARGETS="no-curves-proofs" - dist: trusty env: TARGETS="printlite lite" COQ_VERSION="8.6" COQ_PACKAGE="coq-8.6" COQPRIME="coqprime" PPA="ppa:jgross-h/many-coq-versions" # - dist: trusty @@ -25,7 +25,7 @@ matrix: # env: COQ_VERSION="8.4" COQ_PACKAGE="coq" COQPRIME="coqprime-8.4" PPA="" allow_failures: - env: COQ_VERSION="v8.5" COQ_PACKAGE="coq" COQPRIME="coqprime" PPA="ppa:jgross-h/coq-8.5-daily" TARGETS="lite" - - env: COQ_VERSION="v8.6" COQ_PACKAGE="coq" COQPRIME="coqprime" PPA="ppa:jgross-h/coq-8.6-daily" TARGETS="coq" + - env: COQ_VERSION="v8.6" COQ_PACKAGE="coq" COQPRIME="coqprime" PPA="ppa:jgross-h/coq-8.6-daily" TARGETS="no-curves-proofs" - env: COQ_VERSION="trunk" COQ_PACKAGE="coq" COQPRIME="coqprime" PPA="ppa:jgross-h/coq-trunk-daily" TARGETS="coq" before_install: |