diff --git a/bench/dune b/bench/dune index f0abf3e3..dec1e4f9 100644 --- a/bench/dune +++ b/bench/dune @@ -4,7 +4,9 @@ (libraries mirage-crypto mirage-crypto-rng mirage-crypto-rng.unix mirage-crypto-pk mirage-crypto-ec)) -(executables - (names miou) - (modules miou) - (libraries mirage-crypto-rng-miou-unix)) +; marking as "(optional)" leads to OCaml-CI failures +; marking with "(package mirage-crypto-rng-miou-unix)" only has an effect with a "public_name" +;(executables +; (names miou) +; (modules miou) +; (libraries mirage-crypto-rng-miou-unix))