mirage test: temporarily pin mirage-random to a version mirage likes

hannesm · Jun 9, 2024 · e59a37b · e59a37b
1 parent 38a0afc
commit e59a37b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.test-mirage.sh b/.test-mirage.sh
@@ -10,6 +10,7 @@ echo $version >> mirage-crypto-rng-mirage.opam
 echo $version >> mirage-crypto-rng.opam
 echo $version >> mirage-crypto.opam
 echo $version >> mirage-crypto-pk.opam
+opam pin add mirage-random.3.99 --dev
 (mirage configure -t unix -f mirage/config.ml && gmake depend && dune build --root . mirage/dist/ && mirage/dist/crypto-test) || exit 1
 (mirage configure -t hvt -f mirage/config.ml && gmake depend && dune build --root . mirage/dist/) || exit 1
 if [ $(uname -m) = "amd64" ] || [ $(uname -m) = "x86_64" ]; then