From 96296137505331ebddddd1e17b4aed994f2118e7 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Wed, 19 Dec 2018 11:27:47 -0500 Subject: Update .travis.yml Update 8.8.0 to 8.8.2, add v8.9 branch --- .travis.yml | 57 +++++++++++++++++++++++++++++++++++++++++++++++---------- 1 file changed, 47 insertions(+), 10 deletions(-) (limited to '.travis.yml') diff --git a/.travis.yml b/.travis.yml index c7988dc90..d9b6ca309 100644 --- a/.travis.yml +++ b/.travis.yml @@ -49,6 +49,10 @@ jobs: env: COQ_VERSION="master" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-master-daily" allow_failure: true script: CUR=early ./etc/ci/travis.sh some-early util + - stage: some-early util + env: COQ_VERSION="v8.9" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.9-daily" + allow_failure: true + script: CUR=early ./etc/ci/travis.sh some-early util - stage: some-early util env: COQ_VERSION="v8.8" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.8-daily" allow_failure: true @@ -58,7 +62,7 @@ jobs: allow_failure: true script: CUR=early ./etc/ci/travis.sh some-early util - stage: some-early util - env: COQ_VERSION="8.8.0" COQ_PACKAGE="coq-8.8.0" PPA="ppa:jgross-h/many-coq-versions" + env: COQ_VERSION="8.8.2" COQ_PACKAGE="coq-8.8.2" PPA="ppa:jgross-h/many-coq-versions" script: CUR=early ./etc/ci/travis.sh some-early util - stage: some-early util env: COQ_VERSION="8.7.2" COQ_PACKAGE="coq-8.7.2" PPA="ppa:jgross-h/many-coq-versions" @@ -68,6 +72,10 @@ jobs: env: COQ_VERSION="master" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-master-daily" allow_failure: true script: PREV=early CUR=lite ./etc/ci/travis.sh printlite lite + - stage: printlite lite + env: COQ_VERSION="v8.9" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.9-daily" + allow_failure: true + script: PREV=early CUR=lite ./etc/ci/travis.sh printlite lite - stage: printlite lite env: COQ_VERSION="v8.8" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.8-daily" allow_failure: true @@ -77,7 +85,7 @@ jobs: allow_failure: true script: PREV=early CUR=lite ./etc/ci/travis.sh printlite lite - stage: printlite lite - env: COQ_VERSION="8.8.0" COQ_PACKAGE="coq-8.8.0" PPA="ppa:jgross-h/many-coq-versions" + env: COQ_VERSION="8.8.2" COQ_PACKAGE="coq-8.8.2" PPA="ppa:jgross-h/many-coq-versions" script: PREV=early CUR=lite ./etc/ci/travis.sh printlite lite - stage: printlite lite env: COQ_VERSION="8.7.2" COQ_PACKAGE="coq-8.7.2" PPA="ppa:jgross-h/many-coq-versions" @@ -85,15 +93,22 @@ jobs: - stage: pre-standalone env: COQ_VERSION="master" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-master-daily" + allow_failure: true + script: PREV=lite CUR=pre-standalone ./etc/ci/travis.sh pre-standalone + - stage: pre-standalone + env: COQ_VERSION="v8.9" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.9-daily" + allow_failure: true script: PREV=lite CUR=pre-standalone ./etc/ci/travis.sh pre-standalone - stage: pre-standalone env: COQ_VERSION="v8.8" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.8-daily" + allow_failure: true script: PREV=lite CUR=pre-standalone ./etc/ci/travis.sh pre-standalone - stage: pre-standalone env: COQ_VERSION="v8.7" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.7-daily" + allow_failure: true script: PREV=lite CUR=pre-standalone ./etc/ci/travis.sh pre-standalone - stage: pre-standalone - env: COQ_VERSION="8.8.0" COQ_PACKAGE="coq-8.8.0" PPA="ppa:jgross-h/many-coq-versions" + env: COQ_VERSION="8.8.2" COQ_PACKAGE="coq-8.8.2" PPA="ppa:jgross-h/many-coq-versions" script: PREV=lite CUR=pre-standalone ./etc/ci/travis.sh pre-standalone - stage: pre-standalone env: COQ_VERSION="8.7.2" COQ_PACKAGE="coq-8.7.2" PPA="ppa:jgross-h/many-coq-versions" @@ -101,15 +116,22 @@ jobs: - stage: new-pipeline env: COQ_VERSION="master" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-master-daily" + allow_failure: true + script: PREV=pre-standalone CUR=new-pipeline ./etc/ci/travis.sh new-pipeline + - stage: new-pipeline + env: COQ_VERSION="v8.9" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.9-daily" + allow_failure: true script: PREV=pre-standalone CUR=new-pipeline ./etc/ci/travis.sh new-pipeline - stage: new-pipeline env: COQ_VERSION="v8.8" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.8-daily" + allow_failure: true script: PREV=pre-standalone CUR=new-pipeline ./etc/ci/travis.sh new-pipeline - stage: new-pipeline env: COQ_VERSION="v8.7" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.7-daily" + allow_failure: true script: PREV=pre-standalone CUR=new-pipeline ./etc/ci/travis.sh new-pipeline - stage: new-pipeline - env: COQ_VERSION="8.8.0" COQ_PACKAGE="coq-8.8.0" PPA="ppa:jgross-h/many-coq-versions" + env: COQ_VERSION="8.8.2" COQ_PACKAGE="coq-8.8.2" PPA="ppa:jgross-h/many-coq-versions" script: PREV=pre-standalone CUR=new-pipeline ./etc/ci/travis.sh new-pipeline - stage: new-pipeline env: COQ_VERSION="8.7.2" COQ_PACKAGE="coq-8.7.2" PPA="ppa:jgross-h/many-coq-versions" @@ -117,15 +139,22 @@ jobs: - stage: no-curves-proofs-non-specific env: COQ_VERSION="master" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-master-daily" + allow_failure: true + script: PREV=new-pipeline CUR=no-curves-proofs-non-specific ./etc/ci/travis.sh no-curves-proofs-non-specific + - stage: no-curves-proofs-non-specific + env: COQ_VERSION="v8.9" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.9-daily" + allow_failure: true script: PREV=new-pipeline CUR=no-curves-proofs-non-specific ./etc/ci/travis.sh no-curves-proofs-non-specific - stage: no-curves-proofs-non-specific env: COQ_VERSION="v8.8" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.8-daily" + allow_failure: true script: PREV=new-pipeline CUR=no-curves-proofs-non-specific ./etc/ci/travis.sh no-curves-proofs-non-specific - stage: no-curves-proofs-non-specific env: COQ_VERSION="v8.7" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.7-daily" + allow_failure: true script: PREV=new-pipeline CUR=no-curves-proofs-non-specific ./etc/ci/travis.sh no-curves-proofs-non-specific - stage: no-curves-proofs-non-specific - env: COQ_VERSION="8.8.0" COQ_PACKAGE="coq-8.8.0" PPA="ppa:jgross-h/many-coq-versions" + env: COQ_VERSION="8.8.2" COQ_PACKAGE="coq-8.8.2" PPA="ppa:jgross-h/many-coq-versions" script: PREV=new-pipeline CUR=no-curves-proofs-non-specific ./etc/ci/travis.sh no-curves-proofs-non-specific - stage: no-curves-proofs-non-specific env: COQ_VERSION="8.7.2" COQ_PACKAGE="coq-8.7.2" PPA="ppa:jgross-h/many-coq-versions" @@ -135,6 +164,10 @@ jobs: env: COQ_VERSION="master" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-master-daily" allow_failure: true script: PREV=no-curves-proofs-non-specific CUR=curves-proofs ./etc/ci/travis.sh curves-proofs + - stage: curves-proofs + env: COQ_VERSION="v8.9" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.9-daily" + allow_failure: true + script: PREV=no-curves-proofs-non-specific CUR=curves-proofs ./etc/ci/travis.sh curves-proofs - stage: curves-proofs env: COQ_VERSION="v8.8" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.8-daily" allow_failure: true @@ -144,7 +177,7 @@ jobs: allow_failure: true script: PREV=no-curves-proofs-non-specific CUR=curves-proofs ./etc/ci/travis.sh curves-proofs - stage: curves-proofs - env: COQ_VERSION="8.8.0" COQ_PACKAGE="coq-8.8.0" PPA="ppa:jgross-h/many-coq-versions" + env: COQ_VERSION="8.8.2" COQ_PACKAGE="coq-8.8.2" PPA="ppa:jgross-h/many-coq-versions" script: PREV=no-curves-proofs-non-specific CUR=curves-proofs ./etc/ci/travis.sh curves-proofs - stage: curves-proofs env: COQ_VERSION="8.7.2" COQ_PACKAGE="coq-8.7.2" PPA="ppa:jgross-h/many-coq-versions" @@ -154,6 +187,10 @@ jobs: env: COQ_VERSION="master" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-master-daily" allow_failure: true script: PREV=curves-proofs CUR=selected-specific ./etc/ci/travis.sh selected-specific selected-specific-display + - stage: selected-specific selected-specific-display + env: COQ_VERSION="v8.9" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.9-daily" + allow_failure: true + script: PREV=curves-proofs CUR=selected-specific ./etc/ci/travis.sh selected-specific selected-specific-display - stage: selected-specific selected-specific-display env: COQ_VERSION="v8.8" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.8-daily" allow_failure: true @@ -163,28 +200,28 @@ jobs: allow_failure: true script: PREV=curves-proofs CUR=selected-specific ./etc/ci/travis.sh selected-specific selected-specific-display - stage: selected-specific selected-specific-display - env: COQ_VERSION="8.8.0" COQ_PACKAGE="coq-8.8.0" PPA="ppa:jgross-h/many-coq-versions" + env: COQ_VERSION="8.8.2" COQ_PACKAGE="coq-8.8.2" PPA="ppa:jgross-h/many-coq-versions" script: PREV=curves-proofs CUR=selected-specific ./etc/ci/travis.sh selected-specific selected-specific-display - stage: selected-specific selected-specific-display env: COQ_VERSION="8.7.2" COQ_PACKAGE="coq-8.7.2" PPA="ppa:jgross-h/many-coq-versions" script: PREV=curves-proofs CUR=selected-specific ./etc/ci/travis.sh selected-specific selected-specific-display - stage: build-selected-test build-selected-bench - env: COQ_VERSION="8.8.0" COQ_PACKAGE="coq-8.8.0" PPA="ppa:jgross-h/many-coq-versions" + env: COQ_VERSION="8.8.2" COQ_PACKAGE="coq-8.8.2" PPA="ppa:jgross-h/many-coq-versions" script: PREV=selected-specific CUR=build-selected ./etc/ci/travis.sh build-selected-test build-selected-bench - stage: build-selected-test build-selected-bench env: COQ_VERSION="8.7.2" COQ_PACKAGE="coq-8.7.2" PPA="ppa:jgross-h/many-coq-versions" script: PREV=selected-specific CUR=build-selected ./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" + env: COQ_VERSION="8.8.2" COQ_PACKAGE="coq-8.8.2" PPA="ppa:jgross-h/many-coq-versions" script: PREV=build-selected CUR=standalone-ocaml ./etc/ci/travis.sh standalone-ocaml c-files test-c-files CC=gcc - stage: standalone-ocaml env: COQ_VERSION="8.7.2" COQ_PACKAGE="coq-8.7.2" PPA="ppa:jgross-h/many-coq-versions" script: PREV=build-selected CUR=standalone-ocaml ./etc/ci/travis.sh standalone-ocaml c-files test-c-files CC=gcc # - stage: selected-test selected-bench -# env: COQ_VERSION="8.8.0" COQ_PACKAGE="coq-8.8.0" PPA="ppa:jgross-h/many-coq-versions" +# env: COQ_VERSION="8.8.2" COQ_PACKAGE="coq-8.8.2" PPA="ppa:jgross-h/many-coq-versions" # allow_failure: true # script: PREV=standalone-ocaml CUR=selected-test-bench ./etc/ci/travis.sh selected-test selected-bench # - stage: selected-test selected-bench -- cgit v1.2.3