From 037df57566b1108af0d13cfcafe9b0f8fdd5937b Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sun, 6 May 2018 22:17:10 -0400 Subject: New pipeline, split among files --- .travis.yml | 7 +++++++ 1 file changed, 7 insertions(+) (limited to '.travis.yml') diff --git a/.travis.yml b/.travis.yml index cc2c9a0c5..71d5315a4 100644 --- a/.travis.yml +++ b/.travis.yml @@ -122,6 +122,13 @@ jobs: env: COQ_VERSION="8.7.2" COQ_PACKAGE="coq-8.7.2" PPA="ppa:jgross-h/many-coq-versions" script: PREV=3 CUR=4 ./etc/ci/travis.sh build-selected-test build-selected-bench + - 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 + - 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 + # - stage: selected-test selected-bench # env: COQ_VERSION="8.8.0" COQ_PACKAGE="coq-8.8.0" PPA="ppa:jgross-h/many-coq-versions" # allow_failure: true -- cgit v1.2.3