diff options
author | Jason Gross <jgross@mit.edu> | 2017-06-14 01:46:56 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-06-14 01:46:56 -0400 |
commit | 0db89ececa4064256bedd1b2119230c2163b46fb (patch) | |
tree | 8bb61632e7448a347dfc06be71d26df29cccd2b8 /.travis.yml | |
parent | 1f50e0bd9c8dd9efcbff2770b4da790cd0e28c69 (diff) |
Also test the 'lite' target on 8.6 in travis
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index 7283b9e08..736667d64 100644 --- a/.travis.yml +++ b/.travis.yml @@ -13,6 +13,8 @@ matrix: 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" + - dist: trusty + env: TARGETS="lite" COQ_VERSION="8.6" COQ_PACKAGE="coq-8.6" COQPRIME="coqprime" PPA="ppa:jgross-h/many-coq-versions" # - 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 |