diff options
| author |  jadep <jadep@mit.edu> | 2019-03-21 11:11:37 -0400 |
|---|---|---|
| committer |  jadephilipoom <jade.philipoom@gmail.com> | 2019-03-21 14:32:36 -0400 |
| commit | 704ddff867b527e5001bf1661f84fd6f2a08e1c2 (patch) | |
| tree | 8d00aef088de112d76c0e41c2f07c8505f41f5db /.travis.yml | |
| parent | eef777cc805dd9c972fce70ffc8092c533e088df (diff) | |
remove 8.7 from travis tests
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/.travis.yml b/.travis.yml index 93abcd128..3363bb12e 100644 --- a/.travis.yml +++ b/.travis.yml @@ -45,17 +45,11 @@ jobs: 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" @@ -67,17 +61,11 @@ jobs: 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" @@ -89,17 +77,11 @@ jobs: 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" |