From 347b774705dcf3451b83a290890cd0b0d04cd057 Mon Sep 17 00:00:00 2001
From: Thibault Martin <thi.martin.pro@pm.me>
Date: Wed, 5 Jun 2024 13:46:51 +0200
Subject: [PATCH] Add -k option to opam pin
---
.gitlab-ci.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b4e9c55df44..2044ffdcf4b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -504,7 +504,7 @@ ocaml-versions-nightly:
image: 'ocaml/opam:ubuntu-20.04-ocaml-$OCAML'
script:
- sudo apt update
- - opam pin . -n
+ - opam pin . -n -k path
- opam depext frama-c --with-test
- opam install --jobs 2 frama-c --with-test --with-doc
- frama-c --plugins
--
GitLab