diff options
author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-12-21 23:40:38 +0100 |
---|---|---|
committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-12-21 23:40:38 +0100 |
commit | 7063cdbba6a38b01429cb68389b22ea7b4b6aea2 (patch) | |
tree | 6f532687567522d0e60b28a1cfe13c2468e67588 /.gitlab-ci.yml | |
parent | 9790ad0c32ff9ae1e08d974c0a410954bccf24b6 (diff) | |
download | compcert-kvx-7063cdbba6a38b01429cb68389b22ea7b4b6aea2.tar.gz compcert-kvx-7063cdbba6a38b01429cb68389b22ea7b4b6aea2.zip |
fix opam pin
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 9c4379fd..79f755d7 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -276,7 +276,7 @@ build_kvx: - rm -rf download - eval `opam config env` - opam update - - opam pin add -n coq-flocq 3.4.0 && opam install -y menhir gappa coq-gappa -coq-flocq + - opam pin add coq-flocq 3.4.0 --no-action && opam install -y menhir gappa coq-gappa -coq-flocq script: - source /opt/kalray/accesscore/kalray.sh && ./config_kvx.sh - source /opt/kalray/accesscore/kalray.sh && make -j "$NJOBS" |