From f750706e008c0da9deed69e9ba9e55afc56134ad Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Sun, 9 Jun 2024 14:43:01 +0200
Subject: [PATCH] comment out bench/miou in dune 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.

Marking it (optional) still results in failures with OCaml-CI
---
 bench/dune | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

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))