From 704ddff867b527e5001bf1661f84fd6f2a08e1c2 Mon Sep 17 00:00:00 2001 From: jadep Date: Thu, 21 Mar 2019 11:11:37 -0400 Subject: remove 8.7 from travis tests --- .travis.yml | 21 --------------------- 1 file changed, 21 deletions(-) (limited to '.travis.yml') diff --git a/.travis.yml b/.travis.yml index 93abcd128..3363bb12e 100644 --- a/.travis.yml +++ b/.travis.yml @@ -44,18 +44,12 @@ jobs: - stage: some-early util printlite lite env: COQ_VERSION="v8.8" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.8-daily" script: CUR=early ./etc/ci/travis.sh some-early util printlite lite - - stage: some-early util printlite lite - env: COQ_VERSION="v8.7" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.7-daily" - script: CUR=early ./etc/ci/travis.sh some-early util printlite lite - stage: some-early util printlite lite env: COQ_VERSION="8.9.0" COQ_PACKAGE="coq-8.9.0" PPA="ppa:jgross-h/many-coq-versions" script: CUR=early ./etc/ci/travis.sh some-early util printlite lite - stage: some-early util printlite lite 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 printlite lite - - stage: some-early util printlite lite - env: COQ_VERSION="8.7.2" COQ_PACKAGE="coq-8.7.2" PPA="ppa:jgross-h/many-coq-versions" - script: CUR=early ./etc/ci/travis.sh some-early util printlite lite - stage: pre-standalone print-nobigmem nobigmem env: COQ_VERSION="master" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-master-daily" @@ -66,18 +60,12 @@ jobs: - stage: pre-standalone print-nobigmem nobigmem env: COQ_VERSION="v8.8" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.8-daily" script: PREV=early CUR=pre-standalone ./etc/ci/travis.sh pre-standalone print-nobigmem nobigmem - - stage: pre-standalone print-nobigmem nobigmem - env: COQ_VERSION="v8.7" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.7-daily" - script: PREV=early CUR=pre-standalone ./etc/ci/travis.sh pre-standalone print-nobigmem nobigmem - stage: pre-standalone print-nobigmem nobigmem env: COQ_VERSION="8.9.0" COQ_PACKAGE="coq-8.9.0" PPA="ppa:jgross-h/many-coq-versions" script: PREV=early CUR=pre-standalone ./etc/ci/travis.sh pre-standalone print-nobigmem nobigmem - stage: pre-standalone print-nobigmem nobigmem env: COQ_VERSION="8.8.2" COQ_PACKAGE="coq-8.8.2" PPA="ppa:jgross-h/many-coq-versions" script: PREV=early CUR=pre-standalone ./etc/ci/travis.sh pre-standalone print-nobigmem nobigmem - - stage: pre-standalone print-nobigmem nobigmem - env: COQ_VERSION="8.7.2" COQ_PACKAGE="coq-8.7.2" PPA="ppa:jgross-h/many-coq-versions" - script: PREV=early CUR=pre-standalone ./etc/ci/travis.sh pre-standalone print-nobigmem nobigmem - stage: coq env: COQ_VERSION="master" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-master-daily" @@ -88,18 +76,12 @@ jobs: - stage: coq env: COQ_VERSION="v8.8" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.8-daily" script: PREV=pre-standalone CUR=coq ./etc/ci/travis.sh coq - - stage: coq - env: COQ_VERSION="v8.7" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.7-daily" - script: PREV=pre-standalone CUR=coq ./etc/ci/travis.sh coq - stage: coq env: COQ_VERSION="8.9.0" COQ_PACKAGE="coq-8.9.0" PPA="ppa:jgross-h/many-coq-versions" script: PREV=pre-standalone CUR=coq ./etc/ci/travis.sh coq - stage: coq env: COQ_VERSION="8.8.2" COQ_PACKAGE="coq-8.8.2" PPA="ppa:jgross-h/many-coq-versions" script: PREV=pre-standalone CUR=coq ./etc/ci/travis.sh coq - - stage: coq - 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: standalone-ocaml env: COQ_VERSION="8.9.0" COQ_PACKAGE="coq-8.9.0" PPA="ppa:jgross-h/many-coq-versions" @@ -107,9 +89,6 @@ jobs: - stage: standalone-ocaml env: COQ_VERSION="8.8.2" COQ_PACKAGE="coq-8.8.2" PPA="ppa:jgross-h/many-coq-versions" 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=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