diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-20 20:31:48 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-20 20:31:48 +0100 |
| commit | 64ed780f6ad9512bd4de2a6ab5cf79234e4d34e7 (patch) | |
| tree | 51888b438377aa430d0c299f987d44327439ead3 /.gitlab-ci.yml | |
| parent | 4f3f8ce2a1da0362575087c642cc4e51fe0c9849 (diff) | |
| download | compcert-kvx-64ed780f6ad9512bd4de2a6ab5cf79234e4d34e7.tar.gz compcert-kvx-64ed780f6ad9512bd4de2a6ab5cf79234e4d34e7.zip | |
ia32
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 b31d676f..a8120993 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -12,7 +12,7 @@ build_x86_64: - ./config_x86_64.sh - make -j "$NJOBS" -build_x86: +build_ia32: stage: build image: "coqorg/coq" before_script: @@ -20,7 +20,7 @@ build_x86: - eval `opam config env` - opam install -y menhir script: - - ./config_x86.sh + - ./config_ia32.sh - make -j "$NJOBS" build_aarch64: |