push.yml: allow 10 extra minutes for tagged commits

stephengold · Jul 9, 2024 · d7f1722 · d7f1722
1 parent 1f7e9dd
commit d7f1722
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -8,7 +8,7 @@ jobs:
   Java11-Linux:
     if: contains(toJson(github.event.commits), '[ci skip] ') == false
     runs-on: ubuntu-20.04
-    timeout-minutes: 10
+    timeout-minutes: 20
     steps:
       - uses: actions/setup-java@v4
         with:
@@ -38,7 +38,7 @@ jobs:
   Java11-MacOS:
     if: contains(toJson(github.event.commits), '[ci skip] ') == false
     runs-on: macOS-13
-    timeout-minutes: 10
+    timeout-minutes: 20
     steps:
       - uses: actions/setup-java@v4
         with:
@@ -64,7 +64,7 @@ jobs:
   Java17-MacOS:
     if: contains(toJson(github.event.commits), '[ci skip] ') == false
     runs-on: macOS-14
-    timeout-minutes: 10
+    timeout-minutes: 20
     steps:
       - uses: actions/setup-java@v4
         with:
@@ -90,7 +90,7 @@ jobs:
   Java21-Windows:
     if: contains(toJson(github.event.commits), '[ci skip] ') == false
     runs-on: windows-2022
-    timeout-minutes: 10
+    timeout-minutes: 20
     steps:
       - uses: actions/setup-java@v4
         with: