diff options
| -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 |