diff options
author | Jason Gross <jgross@mit.edu> | 2019-02-01 15:34:52 -0500 |
---|---|---|
committer | Jason Gross <jasongross9@gmail.com> | 2019-02-01 23:40:00 -0500 |
commit | 014c627a93f09c2867e76e35837eb8cb64f98384 (patch) | |
tree | af805d4456016fa598ea0a79eea51c61a351e3db | |
parent | 90c59282be5ba1f2cd7c2561d17f0559c140c597 (diff) |
Improve travis stages
We combine two stages that are both fairly quick (early and lite), and
we move nobigmem from coq to pre-standalone in an attempt to hopefully
decrease the incidence of OOM issues on travis.
-rw-r--r-- | .travis.yml | 97 |
1 files changed, 36 insertions, 61 deletions
diff --git a/.travis.yml b/.travis.yml index beaa0b536..93abcd128 100644 --- a/.travis.yml +++ b/.travis.yml @@ -35,90 +35,64 @@ matrix: jobs: include: - - stage: some-early util + - stage: some-early util printlite lite 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 + script: CUR=early ./etc/ci/travis.sh some-early util printlite lite + - stage: some-early util printlite lite 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 + script: CUR=early ./etc/ci/travis.sh some-early util printlite lite + - stage: some-early util printlite lite 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 + 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" - allow_failure: true - script: CUR=early ./etc/ci/travis.sh some-early util - - stage: some-early util + 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 - - stage: some-early util + 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 + script: CUR=early ./etc/ci/travis.sh some-early util printlite lite - - stage: printlite lite + - stage: pre-standalone print-nobigmem nobigmem 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 + 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.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 + 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.8" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.8-daily" - allow_failure: true - script: PREV=early CUR=lite ./etc/ci/travis.sh printlite lite - - stage: printlite lite + 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" - allow_failure: true - script: PREV=early CUR=lite ./etc/ci/travis.sh printlite lite - - stage: printlite lite + 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=lite ./etc/ci/travis.sh printlite lite - - stage: printlite lite + 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=lite ./etc/ci/travis.sh printlite lite - - - 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.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" - script: PREV=lite CUR=pre-standalone ./etc/ci/travis.sh pre-standalone + 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" - allow_failure: true script: PREV=pre-standalone CUR=coq ./etc/ci/travis.sh coq - stage: coq env: COQ_VERSION="v8.9" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.9-daily" - allow_failure: true script: PREV=pre-standalone CUR=coq ./etc/ci/travis.sh coq - stage: coq env: COQ_VERSION="v8.8" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.8-daily" - allow_failure: true 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" - allow_failure: true + 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" @@ -128,6 +102,9 @@ jobs: 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" + 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.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 @@ -136,11 +113,9 @@ jobs: # - stage: selected-test selected-bench # 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 # env: COQ_VERSION="8.7.2" COQ_PACKAGE="coq-8.7.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 after_success: |