diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-12-11 12:58:08 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-12-11 12:58:08 +0100 |
| commit | 8e836066766323d9500a13e85f3974952a355022 (patch) | |
| tree | 203ab621c54c0569195067a725e755c0d887430c /.gitlab-ci.yml | |
| parent | be802d9b070b0a2d311d492019c68324af6f6d45 (diff) | |
| download | compcert-kvx-8e836066766323d9500a13e85f3974952a355022.tar.gz compcert-kvx-8e836066766323d9500a13e85f3974952a355022.zip | |
try 8.11.2
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index f8673221..6eb56417 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -3,7 +3,7 @@ stages: check-admitted: stage: build - image: coqorg/coq:8.11.2-ocaml-4.09.1-flambda + image: coqorg/coq:8.11.2-ocaml-4.11.1-flambda before_script: - eval `opam config env` - opam update |