github: bump ci timeout to 20 minutes

The CI system is variously hitting the limits of the existing 15 minute
build mark; in particular, Windows seems to be consistently hitting ~14m
so the chance of a runner timing out gets high if the underlying load is
also high.

While I'm working on this, let's just (regrettably) increase the slack
on the timeout so that everyone else isn't disturbed.

Signed-off-by: Austin Seipp <[email protected]>

.github/workflows/binaries.yml

@@ -37,7 +37,7 @@ jobs:
           os: windows-2022
           target: x86_64-pc-windows-msvc
     runs-on: ${{ matrix.os }}
-    timeout-minutes: 15 # NOTE (aseipp): keep in-sync with the build.yml timeout limit
+    timeout-minutes: 15 # NOTE (aseipp): should be safe, because tests aren't run
 
     name: Build binary artifacts
     steps:

.github/workflows/ci.yml

@@ -62,7 +62,9 @@ jobs:
     # is a problem we should fix. in the mean time, this will make these flakes
     # less harmful, as it won't cause builds to spin for multiple hours, requiring
     # manual cancellation.
-    timeout-minutes: 15
+    #
+    # FIXME (aseipp, 2025-02-06): bumped to 20min.
+    timeout-minutes: 20
 
     steps:
     - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
@@ -103,7 +105,7 @@ jobs:
       matrix:
         os: [ubuntu-24.04, ubuntu-24.04-arm, macos-14]
     runs-on: ${{ matrix.os }}
-    timeout-minutes: 15
+    timeout-minutes: 20
 
     steps:
       - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683