diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-28 10:05:36 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-28 10:05:36 +0200 |
commit | 7c2962e121c156c5c2b7b89f09dce559c8b616aa (patch) | |
tree | 384f004db52d36e43762939c2cdbd4aec4744934 /.gitlab-ci.yml | |
parent | 14ce1b03c104e4e886b1e29198381e69772cadf9 (diff) | |
download | compcert-kvx-7c2962e121c156c5c2b7b89f09dce559c8b616aa.tar.gz compcert-kvx-7c2962e121c156c5c2b7b89f09dce559c8b616aa.zip |
try to get gitlab-CI to use Coq 8.11.2 not 8.12
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 0f3a2781..2e4ef98c 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -3,9 +3,8 @@ stages: check-admitted: stage: build - image: "coqorg/coq:8.11.2" + image: coqorg/coq:8.11.2-ocaml-4.09.1-flambda before_script: - - opam switch 4.07.1+flambda - eval `opam config env` - opam update - opam install -y menhir |