Merge pull request #439 from conjure-cp/ci10

Generating code coverage report needs more than 5 minutes - give it 10
conjure-cp · Nov 12, 2024 · 6dd5d0d · 6dd5d0d
2 parents cfce51e + 3372f17
commit 6dd5d0d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/code-coverage-main.yml b/.github/workflows/code-coverage-main.yml
@@ -15,7 +15,7 @@ env:
 jobs:
   coverage:
     name: "Generate Code Coverage Reports"
-    timeout-minutes: 5
+    timeout-minutes: 10
     # only do coverage for ready PRs
     runs-on: ubuntu-latest
     steps: