From 3716a1162afed8ec5103b13c1436ce81312970b7 Mon Sep 17 00:00:00 2001 From: Claude Date: Tue, 20 Oct 2026 12:27:10 +0000 Subject: [PATCH] ci(agda): pin the Agda proofs job to ubuntu-24.04 ubuntu-latest is now 26.04, whose apt agda 2.8.0 rejects the options agda-stdlib v1.7.3 sets ("Unrecognized option: --warn=noUserWarning"), so the job fails on main and on every PR that touches its path filter. 24.04 ships agda 2.6.3, the version the corpus is verified against. The lasting fix is moving the stdlib to a 2.8-compatible tag; unpin then. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01WS4mfQeC3N1DWjcCQJaQqw --- .github/workflows/dogfood-proofs-ci.yml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/.github/workflows/dogfood-proofs-ci.yml b/.github/workflows/dogfood-proofs-ci.yml index e2f91f3a..141953ff 100644 --- a/.github/workflows/dogfood-proofs-ci.yml +++ b/.github/workflows/dogfood-proofs-ci.yml @@ -219,7 +219,11 @@ jobs: agda: name: Agda - runs-on: ubuntu-latest + # Pinned: ubuntu-latest moved to 26.04, whose apt agda 2.8.0 rejects the + # options agda-stdlib v1.7.3 sets ("Unrecognized option: + # --warn=noUserWarning"). 24.04 ships agda 2.6.3, the version the corpus + # is verified against. Unpin when the stdlib moves to a 2.8-compatible tag. + runs-on: ubuntu-24.04 timeout-minutes: 20 steps: - uses: actions/checkout@v7.0.1