diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-20 20:16:12 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-20 20:16:12 +0100 |
| commit | 995df48bc3920b774a43da7612b1c63faa2ec7d4 (patch) | |
| tree | f0f0406e0a139ad19da1ab8bd975973c6d5c8427 /.gitlab-ci.yml | |
| parent | 599ef2ea4cf6f305097809ef123f948ac6c21429 (diff) | |
| download | compcert-kvx-995df48bc3920b774a43da7612b1c63faa2ec7d4.tar.gz compcert-kvx-995df48bc3920b774a43da7612b1c63faa2ec7d4.zip | |
fix spelling
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 6eacd8bc..9e6d21b0 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -57,7 +57,7 @@ build_ppc: stage: build_ppc image: "coqorg/coq" before_script: - - sudo apt install gcc-powerpc-linux + - sudo apt install gcc-powerpc-linux-gnu - opam switch 4.07.1+flambda - eval `opam config env` - opam install -y menhir |