From 014c627a93f09c2867e76e35837eb8cb64f98384 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Fri, 1 Feb 2019 15:34:52 -0500 Subject: 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. --- .travis.yml | 97 +++++++++++++++++++++++-------------------------------------- 1 file changed, 36 insertions(+), 61 deletions(-) (limited to '.travis.yml') 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" @@ -127,6 +101,9 @@ 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: 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 @@ -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: -- cgit v1.2.3