diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
index a6e140a..712cbe8 100644
--- 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