From 318170ade7ce0438afbab5c1753f5d2c13f2c765 Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com> Date: Sat, 19 Sep 2026 21:18:53 +0000 Subject: [PATCH] fix(pages): raise the job timeout above the measured cold build MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Measured on the estate's first successful cold build of casket-ssg: ~28 minutes (GHCup + cabal). The publisher's `timeout-minutes: 15` cancelled the job mid-build, so the cache was never saved and every retry paid the same cost and died the same way. Now 45 minutes — above the measured cold time with headroom. 124 of the 243 publishers in the estate carry a 15-minute bound. Signed-off-by: Jonathan D.A. Jewell <6759885+hyperpolymath@users.noreply.github.com> --- .github/workflows/casket-pages.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/casket-pages.yml b/.github/workflows/casket-pages.yml index 0f3a372..6fe365b 100644 --- a/.github/workflows/casket-pages.yml +++ b/.github/workflows/casket-pages.yml @@ -18,7 +18,7 @@ concurrency: jobs: build: runs-on: ubuntu-latest - timeout-minutes: 15 + timeout-minutes: 45 steps: - name: Checkout uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4 @@ -137,7 +137,7 @@ jobs: name: github-pages url: ${{ steps.deployment.outputs.page_url }} runs-on: ubuntu-latest - timeout-minutes: 15 + timeout-minutes: 45 needs: build steps: - name: Deploy to GitHub Pages