diff options
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 8be4087..930e9a4 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -221,16 +221,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.8: - extends: .ci-lemma-overloading - variables: - COQ_VERSION: "8.8" - -ci-lemma-overloading-8.9: - extends: .ci-lemma-overloading - variables: - COQ_VERSION: "8.9" - ci-lemma-overloading-8.10: extends: .ci-lemma-overloading variables: |