mark bench/miou optional to avoid CI build failures

since (package mirage-crypto-rng-miou-unix) is not supported without (public_names ..) in dune, there's no easy alternative.
mirage · Jun 9, 2024 · c2f4459 · c2f4459
1 parent 8c5d585
commit c2f4459
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/bench/dune b/bench/dune
@@ -7,4 +7,5 @@
 (executables
  (names miou)
  (modules miou)
- (libraries mirage-crypto-rng-miou-unix))
+ (libraries mirage-crypto-rng-miou-unix)
+ (optional))