Commit af80ac7c authored by Jakob Botsch Nielsen's avatar Jakob Botsch Nielsen
Browse files

Comment Coq 8.6 build

parent 9e242ac2
Pipeline #10854 passed with stage
in 3 minutes and 9 seconds
......@@ -22,11 +22,6 @@ stages:
- sudo chown -R coq:coq "$CI_PROJECT_DIR"
- make -j
coq:8.6:
extends: .build
variables:
COQ_CONTAINERS_BRANCH: 'v8.6'
coq:8.7:
extends: .build
variables:
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment