Skip to content

Commit

Permalink
pin local opam files
Browse files Browse the repository at this point in the history
  • Loading branch information
hannesm committed Feb 23, 2024
1 parent 65e0b63 commit ca72903
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions ci/build-test.sh
Original file line number Diff line number Diff line change
Expand Up @@ -89,6 +89,7 @@ case "$dkml_host_abi" in
packages_TOPOLOGICALSORT="$packages_TOPOLOGICALSORT,mirage-crypto-pk,mirage-crypto-ec"
esac
# shellcheck disable=SC2086
opamrun pin add -y -n .
opamrun install --yes --deps-only --with-test $(echo $packages_TOPOLOGICALSORT | tr ',' ' ')
opamrun exec -- dune build -p "$packages_TOPOLOGICALSORT"
opamrun exec -- dune runtest -p "$packages_TOPOLOGICALSORT"

0 comments on commit ca72903

Please sign in to comment.