From 8de77580afe656e75b6a90cedfb041eea273661c Mon Sep 17 00:00:00 2001
From: Max Ole Elliger <ole.elliger@fau.de>
Date: Tue, 26 Dec 2023 19:47:00 +0100
Subject: [PATCH] .gitlab-ci.yml
---
.gitlab-ci.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index adcf14e..f07ac4c 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -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
--
GitLab