Pass -j1 flag to tasty when running tests on GitHub

lukel97 · lukel97 · commit 606bfdedd897 · 2020-10-14T23:57:47.000+01:00
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -56,5 +56,5 @@ jobs:
     - name: Test
       env:
         HLS_TEST_EXE: hls
-      run: cabal test
+      run: cabal test --test-options=-j1
 
