diff --git a/.github/workflows/build-and-test.yml b/.github/workflows/build-and-test.yml
index dabca3d62..a25563494 100644
--- a/.github/workflows/build-and-test.yml
+++ b/.github/workflows/build-and-test.yml
@@ -78,9 +78,5 @@ jobs:
       - name: Build
         run: opam exec -- make
 
-      - name: Install coreutils on MacOS
-        if: runner.os == 'macOS'
-        run: brew install coreutils
-
       - name: Test
         run: opam exec -- make test
diff --git a/beluga.opam b/beluga.opam
index 30f57b4c7..59c0e28a9 100644
--- a/beluga.opam
+++ b/beluga.opam
@@ -24,6 +24,7 @@ depends: [
   "sedlex" {>= "2.5"}
   "omd" {>= "1.3.2"}
   "uri" {>= "4.2.0"}
+  "conf-timeout" {with-test}
   "ocamlformat" {= "0.25.1" & with-test}
   "yojson" {>= "2.0.2" & with-test}
   "ounit2" {>= "2.2.6" & with-test}
diff --git a/dune-project b/dune-project
index cf3873a0e..a89c309d3 100644
--- a/dune-project
+++ b/dune-project
@@ -44,6 +44,7 @@
    (>= 1.3.2))
   (uri
    (>= 4.2.0))
+  (conf-timeout :with-test)
   (ocamlformat
    (and
     (= 0.25.1)