diff options
-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 048549c3..7519377a 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -28,7 +28,7 @@ build_x86_64: before_script: - eval `opam config env` - opam update - - opam install -y menhir csmith libcsmith-dev + - opam install -y menhir script: - ./config_x86_64.sh - make -j "$NJOBS" |