diff options
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 79f755d7..82690410 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 coq-flocq 3.4.0 --no-action && 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" |