From e12f5259e496eb201429c5da414619527c1bc609 Mon Sep 17 00:00:00 2001
From: Peter Zhu <peter@peterzhu.ca>
Date: Fri, 7 Feb 2025 14:22:40 -0500
Subject: [PATCH] Add timeout to compilers workflow

The default timeout on GitHub Actions is 360 minutes, the job usually takes
around 20 to 30 minutes to complete. This commit sets the timeout to be
40 minutes so jobs that hang will timeout faster.
---
 .github/workflows/compilers.yml | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/.github/workflows/compilers.yml b/.github/workflows/compilers.yml
index be096bad8a..abe67328dc 100644
--- a/.github/workflows/compilers.yml
+++ b/.github/workflows/compilers.yml
@@ -50,6 +50,7 @@ jobs:
     runs-on: ubuntu-latest
     needs: compile-if
     if: ${{ needs.compile-if.result == 'success' }}
+    timeout-minutes: 40
     services: { docuum: { image: 'stephanmisc/docuum', options: '--init', volumes: [ '/root', '/var/run/docker.sock:/var/run/docker.sock' ] } }
     steps:
       - uses: actions/checkout@d632683dd7b4114ad314bca15554477dd762a938 # v4.2.0
@@ -71,6 +72,7 @@ jobs:
     runs-on: ubuntu-latest
     needs: compile-if
     if: ${{ needs.compile-if.result == 'success' }}
+    timeout-minutes: 40
     services: { docuum: { image: 'stephanmisc/docuum', options: '--init', volumes: [ '/root', '/var/run/docker.sock:/var/run/docker.sock' ] } }
     steps:
       - uses: actions/checkout@d632683dd7b4114ad314bca15554477dd762a938 # v4.2.0
@@ -98,6 +100,7 @@ jobs:
     runs-on: ubuntu-latest
     needs: compile-if
     if: ${{ needs.compile-if.result == 'success' }}
+    timeout-minutes: 40
     services: { docuum: { image: 'stephanmisc/docuum', options: '--init', volumes: [ '/root', '/var/run/docker.sock:/var/run/docker.sock' ] } }
     steps:
       - uses: actions/checkout@d632683dd7b4114ad314bca15554477dd762a938 # v4.2.0
@@ -117,6 +120,7 @@ jobs:
     runs-on: ubuntu-latest
     needs: compile-if
     if: ${{ needs.compile-if.result == 'success' }}
+    timeout-minutes: 40
     services: { docuum: { image: 'stephanmisc/docuum', options: '--init', volumes: [ '/root', '/var/run/docker.sock:/var/run/docker.sock' ] } }
     steps:
       - uses: actions/checkout@d632683dd7b4114ad314bca15554477dd762a938 # v4.2.0
@@ -137,6 +141,7 @@ jobs:
     runs-on: ubuntu-latest
     needs: compile-if
     if: ${{ needs.compile-if.result == 'success' }}
+    timeout-minutes: 40
     services: { docuum: { image: 'stephanmisc/docuum', options: '--init', volumes: [ '/root', '/var/run/docker.sock:/var/run/docker.sock' ] } }
     steps:
       - uses: actions/checkout@d632683dd7b4114ad314bca15554477dd762a938 # v4.2.0
@@ -162,6 +167,7 @@ jobs:
     runs-on: ubuntu-latest
     needs: compile-if
     if: ${{ needs.compile-if.result == 'success' }}
+    timeout-minutes: 40
     services: { docuum: { image: 'stephanmisc/docuum', options: '--init', volumes: [ '/root', '/var/run/docker.sock:/var/run/docker.sock' ] } }
     steps:
       - uses: actions/checkout@d632683dd7b4114ad314bca15554477dd762a938 # v4.2.0
@@ -181,6 +187,7 @@ jobs:
     runs-on: ubuntu-latest
     needs: compile-if
     if: ${{ needs.compile-if.result == 'success' }}
+    timeout-minutes: 40
     services: { docuum: { image: 'stephanmisc/docuum', options: '--init', volumes: [ '/root', '/var/run/docker.sock:/var/run/docker.sock' ] } }
     steps:
       - uses: actions/checkout@d632683dd7b4114ad314bca15554477dd762a938 # v4.2.0
@@ -200,6 +207,7 @@ jobs:
     runs-on: ubuntu-latest
     needs: compile-if
     if: ${{ needs.compile-if.result == 'success' }}
+    timeout-minutes: 40
     services: { docuum: { image: 'stephanmisc/docuum', options: '--init', volumes: [ '/root', '/var/run/docker.sock:/var/run/docker.sock' ] } }
     steps:
       - uses: actions/checkout@d632683dd7b4114ad314bca15554477dd762a938 # v4.2.0
@@ -219,6 +227,7 @@ jobs:
     runs-on: ubuntu-latest
     needs: compile-if
     if: ${{ needs.compile-if.result == 'success' }}
+    timeout-minutes: 40
     services: { docuum: { image: 'stephanmisc/docuum', options: '--init', volumes: [ '/root', '/var/run/docker.sock:/var/run/docker.sock' ] } }
     steps:
       - uses: actions/checkout@d632683dd7b4114ad314bca15554477dd762a938 # v4.2.0
@@ -238,6 +247,7 @@ jobs:
     runs-on: ubuntu-latest
     needs: compile-if
     if: ${{ needs.compile-if.result == 'success' }}
+    timeout-minutes: 40
     services: { docuum: { image: 'stephanmisc/docuum', options: '--init', volumes: [ '/root', '/var/run/docker.sock:/var/run/docker.sock' ] } }
     steps:
       - uses: actions/checkout@d632683dd7b4114ad314bca15554477dd762a938 # v4.2.0
@@ -257,6 +267,7 @@ jobs:
     runs-on: ubuntu-latest
     needs: compile-if
     if: ${{ needs.compile-if.result == 'success' }}
+    timeout-minutes: 40
     services: { docuum: { image: 'stephanmisc/docuum', options: '--init', volumes: [ '/root', '/var/run/docker.sock:/var/run/docker.sock' ] } }
     steps:
       - uses: actions/checkout@d632683dd7b4114ad314bca15554477dd762a938 # v4.2.0
@@ -276,6 +287,7 @@ jobs:
     runs-on: ubuntu-latest
     needs: compile-if
     if: ${{ needs.compile-if.result == 'success' }}
+    timeout-minutes: 40
     services: { docuum: { image: 'stephanmisc/docuum', options: '--init', volumes: [ '/root', '/var/run/docker.sock:/var/run/docker.sock' ] } }
     steps:
       - uses: actions/checkout@d632683dd7b4114ad314bca15554477dd762a938 # v4.2.0