Merge pull request #20 from well-typed/jdral/gha-timeout

Timeouts for GHA CI
well-typed · Jun 14, 2024 · e8fd52f · e8fd52f
2 parents fdb1a51 + 85e80e0
commit e8fd52f
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/haskell.yml b/.github/workflows/haskell.yml
@@ -44,6 +44,8 @@ jobs:
           os: ubuntu-22.04
           liburing: "system"
 
+    timeout-minutes: 30
+
     steps:
     - name: Checkout repository
       uses: actions/checkout@v3
@@ -122,5 +124,9 @@ jobs:
     - name: Build
       run: cabal build all
 
+    - name: Set test timeout
+      run: |
+        echo "TASTY_TIMEOUT=5m" >> "$GITHUB_ENV"
+
     - name: Run tests
       run: cabal test -j1 --test-show-details=direct all