diff options
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 46 |
1 files changed, 0 insertions, 46 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 4b0d207..8a5c7f0 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -89,9 +89,6 @@ make-coq-latest: variables: - $CRON_MODE == "nightly" -coq-8.10: - extends: .opam-build-once - coq-8.11: extends: .opam-build-once @@ -162,11 +159,6 @@ test-coq-8.11: variables: COQ_VERSION: "8.11" -test-coq-8.10: - extends: .test-once - variables: - COQ_VERSION: "8.10" - # set CONTRIB_URL, script, COQ_VERSION, CONTRIB_VERSION when using .ci: stage: test @@ -211,11 +203,6 @@ test-coq-8.10: - make -j "${NJOBS}" - make install -ci-fourcolor-8.10: - extends: .ci-fourcolor - variables: - COQ_VERSION: "8.10" - ci-fourcolor-8.11: extends: .ci-fourcolor variables: @@ -246,11 +233,6 @@ ci-fourcolor-dev: - make -j "${NJOBS}" - make install -ci-odd-order-8.10: - extends: .ci-odd-order - variables: - COQ_VERSION: "8.10" - ci-odd-order-8.11: extends: .ci-odd-order variables: @@ -281,11 +263,6 @@ ci-odd-order-dev: - opam pin add -n -k path coq-lemma-overloading . - opam install -y -v -j "${NJOBS}" coq-lemma-overloading -ci-lemma-overloading-8.10: - extends: .ci-lemma-overloading - variables: - COQ_VERSION: "8.10" - ci-lemma-overloading-8.11: extends: .ci-lemma-overloading variables: @@ -316,11 +293,6 @@ ci-lemma-overloading-dev: - opam pin add -n -k path coq-mathcomp-bigenough . - opam install -y -v -j "${NJOBS}" coq-mathcomp-bigenough -ci-bigenough-8.10: - extends: .ci-bigenough - variables: - COQ_VERSION: "8.10" - ci-bigenough-8.11: extends: .ci-bigenough variables: @@ -352,11 +324,6 @@ ci-bigenough-dev: - opam install -y -v -j "${NJOBS}" --deps-only coq-mathcomp-real-closed - opam install -y -v -j "${NJOBS}" coq-mathcomp-real-closed -ci-real-closed-8.10: - extends: .ci-real-closed - variables: - COQ_VERSION: "8.10" - ci-real-closed-8.11: extends: .ci-real-closed variables: @@ -388,11 +355,6 @@ ci-real-closed-dev: - opam install -y -v -j "${NJOBS}" --deps-only coq-mathcomp-finmap - opam install -y -v -j "${NJOBS}" coq-mathcomp-finmap -ci-finmap-8.10: - extends: .ci-finmap - variables: - COQ_VERSION: "8.10" - ci-finmap-8.11: extends: .ci-finmap variables: @@ -424,11 +386,6 @@ ci-finmap-dev: - opam install -y -v -j "${NJOBS}" --deps-only coq-mathcomp-multinomials - opam install -y -v -j "${NJOBS}" coq-mathcomp-multinomials -ci-multinomials-8.10: - extends: .ci-multinomials - variables: - COQ_VERSION: "8.10" - ci-multinomials-8.11: extends: .ci-multinomials variables: @@ -552,9 +509,6 @@ ci-fcsl-pcm-dev: variables: - $CRON_MODE == "nightly" -mathcomp-dev_coq-8.10: - extends: .docker-deploy-once - mathcomp-dev_coq-8.11: extends: .docker-deploy-once |