CI: enable TIMED for macos test-suite

SkySkimmer · Nov 14, 2023 · 2a0e1e1 · 2a0e1e1
1 parent 0ca0d5a
commit 2a0e1e1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci-macos.yml b/.github/workflows/ci-macos.yml
@@ -56,6 +56,6 @@ jobs:
           export OCAMLPATH="$(pwd)/../_install_ci/lib":"$OCAMLPATH"
           BIN="$(pwd)/../_install_ci/bin/"
           LIB="$(pwd)/../_install_ci/lib/coq/"
-          make -j "$NJOBS" BIN="$BIN" COQLIB="$LIB" PRINT_LOGS=1 all
+          make -j "$NJOBS" BIN="$BIN" COQLIB="$LIB" PRINT_LOGS=1 TIMED=1 all
         env:
           NJOBS: "2"