Rename bench_select -> bench_select_sync

dermesser · dermesser · commit ff552519f7c7 · 2023-07-22T12:40:52.000+02:00
diff --git a/bench/bench_select_sync.ml b/bench/bench_select_sync.ml
@@ -3,7 +3,7 @@ open Eio.Stdenv
 open Eio
 module Sync = Eio__Sync
 
-let sender_fibers = 2
+let sender_fibers = 4
 
 let message = 1234
 
