diff options
| author | Enrico Tassi | 2020-09-11 10:35:45 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2020-09-11 10:35:45 +0200 |
| commit | 4c35b309ece8c57088dffd7bea0ef7878f1d8d12 (patch) | |
| tree | 6f53f8e664de3bd13c02d0af6c0eb0020385de14 | |
| parent | f3ad9538962cd36d90ea3a6724125f448d7c0b10 (diff) | |
coq 8.13 does not exists yet
| -rw-r--r-- | .gitlab-ci.yml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index eb221d7..c39da82 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -147,11 +147,11 @@ test-coq-dev: variables: COQ_VERSION: "dev" -test-coq-8.13: - # to be replaced with .test-once (to disable this nightly build) when 8.13.0 is released - extends: .test - variables: - COQ_VERSION: "8.13" +# test-coq-8.13: +# # to be replaced with .test-once (to disable this nightly build) when 8.13.0 is released +# extends: .test +# variables: +# COQ_VERSION: "8.13" test-coq-8.12: extends: .test-once |