Merge pull request #3835 from JuliaReach/schillic-patch-1

Increase CI test time

Author: schillic

.github/workflows/test-pull-request.yml

@@ -45,7 +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
+        timeout-minutes: 35  # kill stale process earlier
       - name: Process coverage
         uses: julia-actions/julia-processcoverage@v1
       - name: Upload coverage