diff --git a/.github/workflows/architecture-enforcement.yml b/.github/workflows/architecture-enforcement.yml
index a0ffd539..30b09dbb 100644
--- a/.github/workflows/architecture-enforcement.yml
+++ b/.github/workflows/architecture-enforcement.yml
@@ -103,7 +103,6 @@ jobs:
     # Docker pull (snazzybucket/idris2) + Idris2 totality check across all
     # Proven.Safe.* modules. Local oracle runs in ~8 minutes; 20-minute
     # budget covers cold cache and the occasional Docker Hub slowdown.
-    timeout-minutes: 20
     steps:
       - uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4
       - name: Build Idris2 modules (via container)
diff --git a/.github/workflows/idris2-ci.yml b/.github/workflows/idris2-ci.yml
index 26b153d6..8e550f7d 100644
--- a/.github/workflows/idris2-ci.yml
+++ b/.github/workflows/idris2-ci.yml
@@ -168,7 +168,6 @@ jobs:
     needs: build
     if: github.ref == 'refs/heads/main'
     # Reuses Idris2 cache from build job; docs generation is fast (~5 min).
-    timeout-minutes: 30
     steps:
       - name: Checkout
         uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4