From a971a0f6b2a939910ae1c9acae5195d006cc2349 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Fri, 15 Nov 2024 18:30:13 +0000
Subject: [PATCH] [ci] opam update before pinning frama-c
---
.gitlab-ci.yml | 1 +
1 file changed, 1 insertion(+)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 6722b7c993..2d251cacde 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -565,6 +565,7 @@ ocaml-versions-nightly:
image: 'ocaml/opam:ubuntu-20.04-ocaml-$OCAML'
script:
- sudo apt update
+ - opam update
- opam pin . -n -k path
- opam depext frama-c --with-test
- opam install --jobs 2 frama-c --with-test --with-doc
--
GitLab