diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-20 19:55:22 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-20 19:55:22 +0100 |
| commit | 43e091310b69f39e0591ee71922121a7508c3987 (patch) | |
| tree | 0863487ecf2aabdcb2723146656ce53655f75997 /.gitlab-ci.yml | |
| parent | d045132186970daa0b7b523e4fdbeb87a71fd3ff (diff) | |
| download | compcert-kvx-43e091310b69f39e0591ee71922121a7508c3987.tar.gz compcert-kvx-43e091310b69f39e0591ee71922121a7508c3987.zip | |
fix COMPILER_EDGE
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 4f2b8413..2745b1eb 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -5,7 +5,7 @@ build_x86_64: stage: build_x86_64 image: "coqorg/coq" before_script: - - opam switch \$COMPILER_EDGE + - opam switch 4.07.1+flambda - eval `opam config env` - opam install -y menhir script: |