Skip to content

Commit

Permalink
fixup! fixup! gha: fix opam-rt with specific branch
Browse files Browse the repository at this point in the history
  • Loading branch information
rjbou committed Apr 6, 2021
1 parent 176fa1b commit bb9a7d6
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .github/scripts/main.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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
)
Expand Down

0 comments on commit bb9a7d6

Please sign in to comment.