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.

Author: peterzhu2118

.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