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

.gitlab-ci.yml

parent b00108eb
No related branches found
No related tags found
No related merge requests found
Pipeline #134120 passed
Stage: build
Show whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
.gitlab-ci.yml
+ 1
− 1
View file @ 8de77580
......@@ -4,7 +4,7 @@ stages:
# Compile your project based on latest coq version.
build_latest:
image: coqorg/coq:latest
image: coqorg/coq:8.16.1
stage: build
script:
- make all
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment