Commit 6b74be6d authored by Jakob Botsch Nielsen's avatar Jakob Botsch Nielsen
Browse files

Comment Coq dev build in CI for now

Containers needs to be updated for the dev build as Coq does not use
Camlp5 anymore.
parent aa66bf2a
Pipeline #10841 passed with stage
in 4 minutes and 17 seconds
......@@ -42,7 +42,7 @@ coq:8.9:
variables:
COQ_CONTAINERS_BRANCH: 'various-fixes'
coq:dev:
extends: .build
variables:
COQ_CONTAINERS_BRANCH: 'various-fixes'
## coq:dev:
## extends: .build
## variables:
## COQ_CONTAINERS_BRANCH: 'various-fixes'
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