Skip to content
Snippets Groups Projects
Commit bea89ced authored by Max Ole Elliger's avatar Max Ole Elliger :penguin:
Browse files

Merge branch 'pre-release/comoproj/coqc/v8.18.0' into 'release/comoproj/coqc/v8.18.0'

coqc/latest -> coqc/8.18.0

See merge request oc59yqul/template_coq!8
parents d493025d 12e39212
No related branches found
No related tags found
1 merge request!8coqc/latest -> coqc/8.18.0
Pipeline #124864 passed
......@@ -2,9 +2,9 @@
stages:
- build
# Compile your project based on latest coq version.
build_latest:
image: coqorg/coq:latest
#Use the following lines to compile code in a specific version. You can copy this lines to compile your project based on multiple versions.
build_8_18_0:
image: coqorg/coq:8.18.0
stage: build
script:
- make all
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment