Revert "gha: depext, pin as path"

This reverts commit 021e575.
rjbou · Jul 9, 2024 · 25b620c · 25b620c
1 parent 021e575
commit 25b620c
Showing 1 changed file with 1 addition and 2 deletions.
diff --git 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