diff options
| author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-13 20:07:15 +0200 |
|---|---|---|
| committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-13 20:07:15 +0200 |
| commit | 4fd6e4ba6639e0daf71fe024a3cebd30a00bcdf2 (patch) | |
| tree | e7530838f947b6e2335971f52ae141dc0f78dce5 /.gitlab-ci.yml | |
| parent | 25b75be1b6102ddd276d7a07a86a62617c4b6f32 (diff) | |
| download | compcert-kvx-4fd6e4ba6639e0daf71fe024a3cebd30a00bcdf2.tar.gz compcert-kvx-4fd6e4ba6639e0daf71fe024a3cebd30a00bcdf2.zip | |
rm csmith package
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 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" |