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

Attempt to fix coq-containers for other Coq versions

parent 58d65dd9
Pipeline #10822 failed with stage
in 4 minutes and 24 seconds
stages:
- build
variables:
GIT_SUBMODULE_STRATEGY: recursive
.build:
stage: build
image: coqorg/${CI_JOB_NAME}
......@@ -15,7 +12,7 @@ variables:
- opam config list
- opam repo list
- opam list
- git clone --branch various-fixes https://github.com/StekiKun/containers.git dep-coq-containers
- git clone --branch $COQ_CONTAINERS_BRANCH https://github.com/StekiKun/containers.git dep-coq-containers
- cd dep-coq-containers
- make -j
- make -f Makefile.coq install
......@@ -27,15 +24,25 @@ variables:
coq:8.6:
extends: .build
variables:
COQ_CONTAINERS_BRANCH: 'v8.6'
coq:8.7:
extends: .build
variables:
COQ_CONTAINERS_BRANCH: 'v8.7'
coq:8.8:
extends: .build
variables:
COQ_CONTAINERS_BRANCH: 'v8.8'
coq:8.9:
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