diff options
author | Jason Gross <jgross@mit.edu> | 2017-04-03 13:24:02 -0400 |
---|---|---|
committer | Jason Gross <jasongross9@gmail.com> | 2017-04-03 15:08:18 -0400 |
commit | 89165f493226355bcb6c2de5b013cfbeefc6a628 (patch) | |
tree | f5cb3637b3d73abc5aca493c611d6c074c2dca83 | |
parent | 5be8ca5dd7addcf56c572f1ff8a4e38d1ffb78b1 (diff) |
Fix travis targets
-rw-r--r-- | .travis.yml | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/.travis.yml b/.travis.yml index 629c9738b..7283b9e08 100644 --- a/.travis.yml +++ b/.travis.yml @@ -6,13 +6,13 @@ matrix: fast_finish: true include: - dist: trusty - env: COQ_VERSION="trunk" COQ_PACKAGE="coq" COQPRIME="coqprime" PPA="ppa:jgross-h/coq-trunk-daily" TARGETS="coq specific-display" + 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 specific-display" + env: COQ_VERSION="v8.6" COQ_PACKAGE="coq" COQPRIME="coqprime" PPA="ppa:jgross-h/coq-8.6-daily" TARGETS="coq" - dist: trusty - env: COQ_VERSION="v8.5" COQ_PACKAGE="coq" COQPRIME="coqprime" PPA="ppa:jgross-h/coq-8.5-daily" TARGETS="lite specific-display" + 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 specific-display" + env: COQ_VERSION="8.6" COQ_PACKAGE="coq-8.6" COQPRIME="coqprime" PPA="ppa:jgross-h/many-coq-versions" TARGETS="coq" # - dist: trusty # env: COQ_VERSION="8.5pl3" COQ_PACKAGE="coq-8.5pl3 libcoq-ocaml-8.5pl3" COQPRIME="coqprime" PPA="ppa:jgross-h/many-coq-versions" # - dist: trusty @@ -22,9 +22,9 @@ matrix: # - dist: trusty # 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 specific-display" - - env: COQ_VERSION="v8.6" COQ_PACKAGE="coq" COQPRIME="coqprime" PPA="ppa:jgross-h/coq-8.6-daily" TARGETS="coq specific-display" - - env: COQ_VERSION="trunk" COQ_PACKAGE="coq" COQPRIME="coqprime" PPA="ppa:jgross-h/coq-trunk-daily" TARGETS="coq specific-display" + - 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="trunk" COQ_PACKAGE="coq" COQPRIME="coqprime" PPA="ppa:jgross-h/coq-trunk-daily" TARGETS="coq" before_install: - if [ ! -z "$PPA" ]; then sudo add-apt-repository "$PPA" -y; fi |