Merge branch 'main' into fix/ci-426-squisher-cleanup

Author: hyperpolymath

.github/workflows/affinescript-verify.yml

@@ -49,6 +49,7 @@ jobs:
     timeout-minutes: 20
     name: AffineScript Verify
     runs-on: ubuntu-latest
+    timeout-minutes: 30
     permissions:
       contents: read
     steps:

.github/workflows/boj-build.yml

@@ -29,6 +29,7 @@ jobs:
   trigger-boj:
     name: Trigger BoJ server
     runs-on: ubuntu-latest
+    timeout-minutes: 30
     timeout-minutes: 10
     # No job-level gate: the `secrets` context is not available in `if:`
     # (referencing it is an "Unrecognized named-value: 'secrets'" startup
@@ -70,6 +71,7 @@ jobs:
     name: K9-SVC contractile validation
     timeout-minutes: 10
     runs-on: ubuntu-latest
+    timeout-minutes: 30
     steps:
       - name: Checkout
         uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1

.github/workflows/casket-pages.yml

@@ -21,6 +21,7 @@ jobs:
   build:
     timeout-minutes: 20
     runs-on: ubuntu-latest
+    timeout-minutes: 30
     steps:
       - name: Checkout
         uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v4
@@ -95,6 +96,7 @@ jobs:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}
     runs-on: ubuntu-latest
+    timeout-minutes: 30
     needs: build
     steps:
       - name: Deploy to GitHub Pages

.github/workflows/changelog-reusable.yml

@@ -38,6 +38,7 @@ on:
         type: string
         default: 'commit-back'
       runs-on:
+    timeout-minutes: 30
         description: 'Runner label'
         required: false
         type: string
@@ -57,6 +58,7 @@ jobs:
     timeout-minutes: 10
     name: Generate CHANGELOG.md
     runs-on: ${{ inputs.runs-on }}
+    timeout-minutes: 30
     permissions:
       contents: write
       pull-requests: write

.github/workflows/codeql-reusable.yml

@@ -66,6 +66,7 @@ on:
         required: false
         default: none
       runs-on:
+    timeout-minutes: 30
         description: 'Runner label for the analyze job'
         type: string
         required: false
@@ -79,6 +80,7 @@ jobs:
   analyze:
     timeout-minutes: 20
     runs-on: ${{ inputs.runs-on }}
+    timeout-minutes: 30
     # Job-level permissions inherit from workflow-level and ADD security-events: write.
     # Do NOT narrow here or CodeQL action loses `actions: read` which it needs.
     permissions:

.github/workflows/debt-measure.yml

@@ -37,6 +37,7 @@ jobs:
   measure:
     name: Measure and record
     runs-on: ubuntu-latest
+    timeout-minutes: 30
     timeout-minutes: 15
     permissions:
       contents: write

.github/workflows/deno-ci-reusable.yml

@@ -32,6 +32,7 @@ on:
   workflow_call:
     inputs:
       runs-on:
+    timeout-minutes: 30
         description: Runner label for the deno-ci job
         type: string
         required: false
@@ -56,6 +57,7 @@ jobs:
     timeout-minutes: 20
     name: Deno CI
     runs-on: ${{ inputs.runs-on }}
+    timeout-minutes: 30
     permissions:
       contents: read
     steps:

.github/workflows/doc-format.yml

@@ -25,6 +25,7 @@ jobs:
     timeout-minutes: 10
     name: Check Documentation Format
     runs-on: ubuntu-latest
+    timeout-minutes: 30
     steps:
       - name: Checkout
         uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v4

.github/workflows/dyadt-verify.yml

@@ -24,6 +24,7 @@ jobs:
   verify-claims:
     name: Verify CLAIMS.a2ml + conformance
     runs-on: ubuntu-latest
+    timeout-minutes: 30
     timeout-minutes: 10
     steps:
       - name: Checkout repository

.github/workflows/echidna-verify.yml

@@ -46,6 +46,7 @@ jobs:
   agda-lol:
     name: Agda — lol/proofs
     runs-on: ubuntu-latest
+    timeout-minutes: 30
     timeout-minutes: 20
     steps:
       - name: Checkout
@@ -87,6 +88,7 @@ jobs:
   idris2-a2ml:
     name: Idris2 — a2ml proofs
     runs-on: ubuntu-latest
+    timeout-minutes: 30
     timeout-minutes: 20
     steps:
       - name: Checkout
@@ -155,6 +157,7 @@ jobs:
   idris2-avow:
     name: Idris2 — AVOW consent proofs
     runs-on: ubuntu-latest
+    timeout-minutes: 30
     timeout-minutes: 20
     steps:
       - name: Checkout
@@ -224,6 +227,7 @@ jobs:
     name: Trust pipeline summary
     needs: [agda-lol, idris2-a2ml, idris2-avow]
     runs-on: ubuntu-latest
+    timeout-minutes: 30
     if: always()
     steps:
       - name: Summarise