From b74dbaa4120a9d1c57cced97091ceec9edd5f48a Mon Sep 17 00:00:00 2001
From: Max Ole Elliger <ole.elliger@fau.de>
Date: Tue, 19 Dec 2023 19:48:59 +0100
Subject: [PATCH] test
---
.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