From 80c2a9881dcb2a6da6e232b8ce11cd207bbc5edf Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 26 Jul 2022 08:39:44 +0200
Subject: [PATCH] [ci] docker ocaml: update APT before depext
---
.gitlab-ci.yml | 1 +
1 file changed, 1 insertion(+)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b794a61c233..07ee4734182 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -279,6 +279,7 @@ ocaml-versions-nightly:
stage: compatibility
image: 'ocaml/opam:ubuntu-20.04-ocaml-$OCAML'
script:
+ - sudo apt update
- opam pin . -n
- opam depext frama-c --with-test
- opam install --jobs 2 frama-c --with-test
--
GitLab