Skip to content

Commit

Permalink
fixup! gha: depext, pin as path
Browse files Browse the repository at this point in the history
  • Loading branch information
rjbou committed Jul 9, 2024
1 parent 3c4b47a commit f1f86fd
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/scripts/depexts/generate-actions.sh
Original file line number Diff line number Diff line change
Expand Up @@ -142,7 +142,7 @@ cd /github/workspace
#cd local-opam
opam pin . --no-action --kind path
opam install . --deps-only
opam install opam-core opam-state opam-solver opam-repository opam-format opam-client --deps-only
eval \$(opam env)
./configure
make
Expand Down

0 comments on commit f1f86fd

Please sign in to comment.