diff options
| author | Erik Martin-Dorel | 2020-03-08 16:15:05 +0100 |
|---|---|---|
| committer | Erik Martin-Dorel | 2020-03-08 16:15:05 +0100 |
| commit | 3ae871fff2165c27b8bb389f1829766a4d6f00d9 (patch) | |
| tree | 863d77f0d146da6c2637d7f14562a6211dafbd06 /.gitlab-ci.yml | |
| parent | 563f395e1a41caf4978fe9881250ec68796e36a0 (diff) | |
Fix CI (coq-lemma-overloading dropped compatibility with Coq < 8.10)
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: |