push.yml: limit each job to 10 minutes

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