diff options
author | Jason Gross <jgross@mit.edu> | 2018-07-20 12:51:16 -0400 |
---|---|---|
committer | Jason Gross <jasongross9@gmail.com> | 2018-07-21 03:47:14 +0100 |
commit | 13aca43ad47253e5ea6acb7acd1ee7d8c92ae0dd (patch) | |
tree | ec761ad8f4f35e1efbb2745fde10740aac0f677d /.travis.yml | |
parent | 875789c7756941296306b6781142f62d0d5e5fbe (diff) |
Add some primes to be synthesized
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 de21f52bb..58c9f29fb 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 c-files + script: PREV=4 CUR=5 ./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=4 CUR=5 ./etc/ci/travis.sh standalone-ocaml c-files + script: PREV=4 CUR=5 ./etc/ci/travis.sh standalone-ocaml c-files test-c-files CC=gcc # - stage: selected-test selected-bench # env: COQ_VERSION="8.8.0" COQ_PACKAGE="coq-8.8.0" PPA="ppa:jgross-h/many-coq-versions" |