diff options
author | Jason Gross <jgross@mit.edu> | 2018-11-01 15:25:09 -0400 |
---|---|---|
committer | Jason Gross <jasongross9@gmail.com> | 2018-11-02 10:41:00 -0400 |
commit | 29b2e54016410699c84432147a4b52b45f344b3e (patch) | |
tree | 18525800d1535f00c571e02616cdabb95ebad434 /.travis.yml | |
parent | a8754ef67049b818c8cadfe86ba783d6c0e31c2f (diff) |
Add another early travis stage
This will hopefully take some burden off later travis stages and make
PR #437 easier to merge.
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 30 |
1 files changed, 25 insertions, 5 deletions
diff --git a/.travis.yml b/.travis.yml index dbdbb8d6f..c7988dc90 100644 --- a/.travis.yml +++ b/.travis.yml @@ -34,6 +34,7 @@ matrix: fast_finish: true stages: + - some-early util - printlite lite - pre-standalone - new-pipeline @@ -44,24 +45,43 @@ stages: jobs: include: + - stage: some-early util + 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.8" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.8-daily" + allow_failure: true + script: CUR=early ./etc/ci/travis.sh some-early util + - stage: some-early util + env: COQ_VERSION="v8.7" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.7-daily" + 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" + 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" + script: CUR=early ./etc/ci/travis.sh some-early util + - stage: printlite lite env: COQ_VERSION="master" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-master-daily" allow_failure: true - script: CUR=lite ./etc/ci/travis.sh printlite lite + 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 - script: CUR=lite ./etc/ci/travis.sh printlite lite + script: PREV=early CUR=lite ./etc/ci/travis.sh printlite lite - stage: printlite lite env: COQ_VERSION="v8.7" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.7-daily" allow_failure: true - script: CUR=lite ./etc/ci/travis.sh printlite lite + 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" - script: CUR=lite ./etc/ci/travis.sh printlite lite + 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" - script: CUR=lite ./etc/ci/travis.sh printlite lite + script: PREV=early CUR=lite ./etc/ci/travis.sh printlite lite - stage: pre-standalone env: COQ_VERSION="master" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-master-daily" |