add timeout to tests

JuliaReach · Feb 25, 2024 · b88704e · b88704e
1 parent 7519d57
commit b88704e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/test-pull-request.yml b/.github/workflows/test-pull-request.yml
@@ -45,6 +45,7 @@ jobs:
         uses: julia-actions/julia-buildpkg@v1
       - name: Run tests
         uses: julia-actions/julia-runtest@v1
+        timeout-minutes: 30  # kill stale process earlier
         continue-on-error: ${{ matrix.version == '1.6' }}
       - name: Process coverage
         uses: julia-actions/julia-processcoverage@v1