Fix CAMLboy

OlivierNicole · OlivierNicole · commit d543c05482f3 · 2025-07-07T17:44:47.000+02:00
diff --git a/benchmarks/benchmark-camlboy/Makefile b/benchmarks/benchmark-camlboy/Makefile
@@ -2,7 +2,7 @@
 
 export NAME=Camlboy
 
-SHELL=/bin/bash -o pipefail
+SHELL=/usr/bin/env bash -o pipefail
 
 DIR=CAMLBOY
 SCRIPT=$(DIR)/_build/default/bin/web/bench_node.bc
diff --git a/tools/ci_setup.ml b/tools/ci_setup.ml
@@ -348,6 +348,7 @@ let branch nm =
     match nm with
     | "async_js"
     | "base"
+    | "bigstringaf"
     | "core"
     | "core_kernel"
     | "core_unix"
