diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-20 19:20:00 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-20 19:20:00 +0100 |
| commit | 404cf8865a61dc5c03d4255c42d47462666ace23 (patch) | |
| tree | e58b22442515d1f4729f61808a53efc5e00a16fd /.gitlab-ci.yml | |
| parent | b675ed29c56a16cd35e5a8d7e49be7c582ebd4ab (diff) | |
| download | compcert-kvx-404cf8865a61dc5c03d4255c42d47462666ace23.tar.gz compcert-kvx-404cf8865a61dc5c03d4255c42d47462666ace23.zip | |
fix YAML syntax
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 8e840fd9..5e76b79f 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1,11 +1,11 @@ stages: - build_x86_64 -.build_x86_64: +build_x86_64: stage: build_x86_64 image: "coqorg/coq" before_script: - opam install -y menhir script: ./config_x86_64.sh - make -j "$NJOBS"
\ No newline at end of file + make -j "$NJOBS" |