diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-13 10:33:02 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-13 10:33:02 +0200 |
| commit | 0c9cc34f2306b3ea073684806118f1ab36cfc993 (patch) | |
| tree | 8edabb16c74a69c285cf5d5e33c7a5265faa351a | |
| parent | 9e00dd1645b6adcdb46739562cba0fc314ec3bed (diff) | |
| download | compcert-kvx-0c9cc34f2306b3ea073684806118f1ab36cfc993.tar.gz compcert-kvx-0c9cc34f2306b3ea073684806118f1ab36cfc993.zip | |
bump Coq version
| -rw-r--r-- | .gitlab-ci.yml | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 069b9012..1f854fc3 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -3,7 +3,7 @@ stages: check-admitted: stage: build - image: "coqorg/coq:8.10" + image: "coqorg/coq" before_script: - opam switch 4.07.1+flambda - eval `opam config env` @@ -22,7 +22,7 @@ check-admitted: build_x86_64: stage: build - image: "coqorg/coq:8.10" + image: "coqorg/coq" before_script: - opam switch 4.07.1+flambda - eval `opam config env` @@ -43,7 +43,7 @@ build_x86_64: build_ia32: stage: build - image: "coqorg/coq:8.10" + image: "coqorg/coq" before_script: - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update - sudo apt-get -y install gcc-multilib @@ -66,7 +66,7 @@ build_ia32: build_aarch64: stage: build - image: "coqorg/coq:8.10" + image: "coqorg/coq" before_script: - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update - sudo apt-get -y install gcc-aarch64-linux-gnu qemu-user @@ -89,7 +89,7 @@ build_aarch64: build_arm: stage: build - image: "coqorg/coq:8.10" + image: "coqorg/coq" before_script: - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update - sudo apt-get -y install gcc-arm-linux-gnueabi qemu-user @@ -113,7 +113,7 @@ build_arm: build_armhf: stage: build - image: "coqorg/coq:8.10" + image: "coqorg/coq" before_script: - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update - sudo apt-get -y install gcc-arm-linux-gnueabihf qemu-user @@ -136,7 +136,7 @@ build_armhf: build_ppc: stage: build - image: "coqorg/coq:8.10" + image: "coqorg/coq" before_script: - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update - sudo apt-get -y install gcc-powerpc-linux-gnu qemu-user @@ -157,7 +157,7 @@ build_ppc: build_ppc64: stage: build - image: "coqorg/coq:8.10" + image: "coqorg/coq" before_script: - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update - sudo apt-get -y install gcc-powerpc64-linux-gnu @@ -178,7 +178,7 @@ build_ppc64: build_rv64: stage: build - image: "coqorg/coq:8.10" + image: "coqorg/coq" before_script: - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update - sudo apt-get -y install gcc-riscv64-linux-gnu qemu-user @@ -201,7 +201,7 @@ build_rv64: build_rv32: stage: build - image: "coqorg/coq:8.10" + image: "coqorg/coq" before_script: - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update - sudo apt-get -y install gcc-riscv64-linux-gnu qemu-user @@ -222,7 +222,7 @@ build_rv32: build_k1c: stage: build - image: "coqorg/coq:8.10" + image: "coqorg/coq" before_script: - opam switch 4.07.1+flambda - eval `opam config env` |