From 25b620cc19e9dcc11b1dfc8f792b4ec904b90d53 Mon Sep 17 00:00:00 2001
From: Raja Boujbel <raja.boujbel@ocamlpro.com>
Date: Tue, 9 Jul 2024 18:11:47 +0200
Subject: [PATCH] Revert "gha: depext, pin as path"

This reverts commit 021e575cd9b8cc306d34d47ee0453a5354b714c0.
---
 .github/scripts/depexts/generate-actions.sh | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.github/scripts/depexts/generate-actions.sh b/.github/scripts/depexts/generate-actions.sh
index e6f0f21c1ec..59b78045360 100644
--- a/.github/scripts/depexts/generate-actions.sh
+++ b/.github/scripts/depexts/generate-actions.sh
@@ -141,8 +141,7 @@ cd /github/workspace
 #git clone https://github.com/ocaml/opam --single-branch --branch 2.2 --depth 1 local-opam
 #cd local-opam
 
-opam pin . --no-action --kind path
-opam install opam-core opam-state opam-solver opam-repository opam-format opam-client --deps-only
+opam install . --deps
 eval \$(opam env)
 ./configure
 make