Update build workflow

filipeom · filipeom · commit 3836be56d81c · 2025-05-12T21:37:45.000+01:00
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -53,4 +53,4 @@ jobs:
         run: opam exec -- dune build @install
 
       - name: Test
-        run: opam exec -- dune runtest
+        run: opam exec -- dune runtest -j 1
