From 0db89ececa4064256bedd1b2119230c2163b46fb Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Wed, 14 Jun 2017 01:46:56 -0400 Subject: Also test the 'lite' target on 8.6 in travis --- .travis.yml | 2 ++ 1 file changed, 2 insertions(+) (limited to '.travis.yml') 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 -- cgit v1.2.3