From 074dd72defb9df304175adf6e7d167ae7caea7bd Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Thu, 21 Jun 2018 16:49:53 -0400 Subject: WIP --- .travis.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to '.travis.yml') diff --git a/.travis.yml b/.travis.yml index 6032ef581..de21f52bb 100644 --- a/.travis.yml +++ b/.travis.yml @@ -124,10 +124,10 @@ jobs: - stage: standalone-ocaml env: COQ_VERSION="8.8.0" COQ_PACKAGE="coq-8.8.0" PPA="ppa:jgross-h/many-coq-versions" - script: PREV=4 CUR=5 ./etc/ci/travis.sh standalone-ocaml + script: PREV=4 CUR=5 ./etc/ci/travis.sh standalone-ocaml c-files - stage: standalone-ocaml env: COQ_VERSION="8.7.2" COQ_PACKAGE="coq-8.7.2" PPA="ppa:jgross-h/many-coq-versions" - script: PREV=4 CUR=5 ./etc/ci/travis.sh standalone-ocaml + script: PREV=4 CUR=5 ./etc/ci/travis.sh standalone-ocaml c-files # - stage: selected-test selected-bench # env: COQ_VERSION="8.8.0" COQ_PACKAGE="coq-8.8.0" PPA="ppa:jgross-h/many-coq-versions" -- cgit v1.2.3