From bb9a7d6213737e8ad41dcef03a013a892b2eb1ab Mon Sep 17 00:00:00 2001
From: Raja Boujbel <raja.boujbel@ocamlpro.com>
Date: Tue, 6 Apr 2021 13:18:38 +0200
Subject: [PATCH] fixup! fixup! gha: fix opam-rt with specific branch

---
 .github/scripts/main.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/scripts/main.sh b/.github/scripts/main.sh
index ea3874c782c..e81a3a3b95c 100644
--- a/.github/scripts/main.sh
+++ b/.github/scripts/main.sh
@@ -86,11 +86,11 @@ export OCAMLRUNPARAM=b
 
     test -d _opam || opam switch create . --no-install --formula '"ocaml-system"'
     eval $(opam env)
-    opam pin --kind=path $GITHUB_WORKSPACE -yn
+    opam pin $GITHUB_WORKSPACE -yn
     # opam lib pins defined in opam-rt are ignored as there is a local pin
     opam pin . -yn --ignore-pin-depends
     opam install opam-rt --deps-only
-    make || { opam reinstall opam-client; make; }
+    make || { opam reinstall opam-client -y; make; }
     (set +x ; echo -en "::endgroup::opam-rt\r") 2>/dev/null
   fi
 )