diff options
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 22 |
1 files changed, 8 insertions, 14 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 9e6d21b0..b31d676f 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1,14 +1,8 @@ stages: - - build_ppc - - build_aarch64 - - build_arm - - build_rv64 - - build_rv32 - - build_x86_64 - - build_x86 + - build build_x86_64: - stage: build_x86_64 + stage: build image: "coqorg/coq" before_script: - opam switch 4.07.1+flambda @@ -19,7 +13,7 @@ build_x86_64: - make -j "$NJOBS" build_x86: - stage: build_x86 + stage: build image: "coqorg/coq" before_script: - opam switch 4.07.1+flambda @@ -30,7 +24,7 @@ build_x86: - make -j "$NJOBS" build_aarch64: - stage: build_aarch64 + stage: build image: "coqorg/coq" before_script: - sudo apt install gcc-aarch64-linux-gnu @@ -42,7 +36,7 @@ build_aarch64: - make -j "$NJOBS" build_arm: - stage: build_arm + stage: build image: "coqorg/coq" before_script: - sudo apt install gcc-arm-linux-gnueabihf @@ -54,7 +48,7 @@ build_arm: - make -j "$NJOBS" build_ppc: - stage: build_ppc + stage: build image: "coqorg/coq" before_script: - sudo apt install gcc-powerpc-linux-gnu @@ -66,7 +60,7 @@ build_ppc: - make -j "$NJOBS" build_rv64: - stage: build_rv64 + stage: build image: "coqorg/coq" before_script: - sudo apt install gcc-riscv64-linux-gnu @@ -78,7 +72,7 @@ build_rv64: - make -j "$NJOBS" build_rv32: - stage: build_rv32 + stage: build image: "coqorg/coq" before_script: - sudo apt install gcc-riscv64-linux-gnu |