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

test

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