From 70ad6fe524e3313c86c59f5b0c88c4aad21df896 Mon Sep 17 00:00:00 2001 From: Andres Erbsen Date: Thu, 10 Jan 2019 19:59:34 -0500 Subject: remove redundant travis CI stages --- .travis.yml | 50 ++------------------------------------------------ 1 file changed, 2 insertions(+), 48 deletions(-) (limited to '.travis.yml') diff --git a/.travis.yml b/.travis.yml index d25cbe379..beaa0b536 100644 --- a/.travis.yml +++ b/.travis.yml @@ -127,58 +127,12 @@ jobs: env: COQ_VERSION="8.7.2" COQ_PACKAGE="coq-8.7.2" PPA="ppa:jgross-h/many-coq-versions" script: PREV=pre-standalone CUR=coq ./etc/ci/travis.sh coq - - stage: no-curves-proofs - env: COQ_VERSION="master" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-master-daily" - allow_failure: true - script: PREV=coq CUR=no-curves-proofs ./etc/ci/travis.sh no-curves-proofs - - stage: no-curves-proofs - env: COQ_VERSION="v8.9" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.9-daily" - allow_failure: true - script: PREV=coq CUR=no-curves-proofs ./etc/ci/travis.sh no-curves-proofs - - stage: no-curves-proofs - env: COQ_VERSION="v8.8" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.8-daily" - allow_failure: true - script: PREV=coq CUR=no-curves-proofs ./etc/ci/travis.sh no-curves-proofs - - stage: no-curves-proofs - env: COQ_VERSION="v8.7" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.7-daily" - allow_failure: true - script: PREV=coq CUR=no-curves-proofs ./etc/ci/travis.sh no-curves-proofs - - stage: no-curves-proofs - env: COQ_VERSION="8.8.2" COQ_PACKAGE="coq-8.8.2" PPA="ppa:jgross-h/many-coq-versions" - script: PREV=coq CUR=no-curves-proofs ./etc/ci/travis.sh no-curves-proofs - - stage: no-curves-proofs - env: COQ_VERSION="8.7.2" COQ_PACKAGE="coq-8.7.2" PPA="ppa:jgross-h/many-coq-versions" - script: PREV=coq CUR=no-curves-proofs ./etc/ci/travis.sh no-curves-proofs - - - stage: curves-proofs - env: COQ_VERSION="master" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-master-daily" - allow_failure: true - script: PREV=no-curves-proofs 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 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 - script: PREV=no-curves-proofs CUR=curves-proofs ./etc/ci/travis.sh curves-proofs - - stage: curves-proofs - env: COQ_VERSION="v8.7" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.7-daily" - allow_failure: true - script: PREV=no-curves-proofs CUR=curves-proofs ./etc/ci/travis.sh curves-proofs - - stage: curves-proofs - env: COQ_VERSION="8.8.2" COQ_PACKAGE="coq-8.8.2" PPA="ppa:jgross-h/many-coq-versions" - script: PREV=no-curves-proofs 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" - script: PREV=no-curves-proofs CUR=curves-proofs ./etc/ci/travis.sh curves-proofs - - stage: standalone-ocaml env: COQ_VERSION="8.8.2" COQ_PACKAGE="coq-8.8.2" PPA="ppa:jgross-h/many-coq-versions" - script: PREV=curves-proofs CUR=standalone-ocaml ./etc/ci/travis.sh standalone-ocaml c-files test-c-files CC=gcc + script: PREV=coq 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=curves-proofs CUR=standalone-ocaml ./etc/ci/travis.sh standalone-ocaml c-files test-c-files CC=gcc + script: PREV=coq 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.2" COQ_PACKAGE="coq-8.8.2" PPA="ppa:jgross-h/many-coq-versions" -- cgit v1.2.3