From 552e084b64bd03a1282698f87ed1238af7aa893a Mon Sep 17 00:00:00 2001
From: Xavier Urbain <xavier.urbain@univ-lyon1.fr>
Date: Wed, 12 Jun 2024 08:10:56 +0000
Subject: [PATCH] Update .gitlab-ci.yml file
---
.gitlab-ci.yml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 5f8de3d4..8b00ab32 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -5,7 +5,8 @@ stages:
stage: build
image: coqorg/${CI_JOB_NAME}
before_script:
- - if [ -n "${COMPILER_EDGE}" ]; then opam switch ${COMPILER_EDGE} && eval $(opam env); fi
+ - if [ -n "${COMPILER_EDGE}" ]; then opam switch ${COMPILER_EDGE}; fi
+ - eval $(opam env)
- opam update -y
- opam config list
- opam repo list
--
GitLab