run tests sequentially in CI

azuline · Oct 25, 2023 · 105bba7 · 105bba7
1 parent fba640f
commit 105bba7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -19,7 +19,7 @@ jobs:
         run: nix develop --command make typecheck
       - name: Test
         if: success() || failure()
-        run: nix develop --command make test
+        run: nix develop --command make test-seq
       - name: Lint
         if: success() || failure()
         run: nix develop --command make lintcheck