diff options
author | Jason Gross <jagro@google.com> | 2018-06-21 16:49:53 -0400 |
---|---|---|
committer | Jason Gross <jasongross9@gmail.com> | 2018-07-03 19:28:55 -0400 |
commit | 074dd72defb9df304175adf6e7d167ae7caea7bd (patch) | |
tree | 390ff7278048dcef14347c17d4451dc547cc748d /.travis.yml | |
parent | 2a9325939b4a87dedfac9b23f471c7a12740ff3b (diff) |
WIP
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.travis.yml b/.travis.yml index 6032ef581..de21f52bb 100644 --- a/.travis.yml +++ b/.travis.yml @@ -124,10 +124,10 @@ jobs: - stage: standalone-ocaml env: COQ_VERSION="8.8.0" COQ_PACKAGE="coq-8.8.0" PPA="ppa:jgross-h/many-coq-versions" - script: PREV=4 CUR=5 ./etc/ci/travis.sh standalone-ocaml + script: PREV=4 CUR=5 ./etc/ci/travis.sh standalone-ocaml c-files - stage: standalone-ocaml env: COQ_VERSION="8.7.2" COQ_PACKAGE="coq-8.7.2" PPA="ppa:jgross-h/many-coq-versions" - script: PREV=4 CUR=5 ./etc/ci/travis.sh standalone-ocaml + script: PREV=4 CUR=5 ./etc/ci/travis.sh standalone-ocaml c-files # - stage: selected-test selected-bench # env: COQ_VERSION="8.8.0" COQ_PACKAGE="coq-8.8.0" PPA="ppa:jgross-h/many-coq-versions" |