From 0db4cb614cec0057859d01de0275ee1a9797fb2f Mon Sep 17 00:00:00 2001 From: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com> Date: Tue, 7 Jul 2026 06:35:07 +0100 Subject: [PATCH] fix(ci): robust agda-stdlib registration in proofs.yml The Agda job failed on ubuntu-24.04 with 'agda-stdlib .agda-lib not found': the previous grep required the literal 'standard-library' in the .agda-lib filename, but the Ubuntu package's filename is version-dependent. Match any '*.agda-lib' from dpkg -L (with a /usr find fallback) and dump the file list on failure for triage. Coq + Z3 jobs already pass on the runner. Co-Authored-By: Claude Opus 4.8 (1M context) --- .github/workflows/proofs.yml | 16 +++++++++------- 1 file changed, 9 insertions(+), 7 deletions(-) diff --git a/.github/workflows/proofs.yml b/.github/workflows/proofs.yml index 49463c6..05ac750 100644 --- a/.github/workflows/proofs.yml +++ b/.github/workflows/proofs.yml @@ -58,14 +58,16 @@ jobs: - name: Register the standard library run: | mkdir -p "$HOME/.agda" - LIB="$(dpkg -L agda-stdlib | grep -m1 'standard-library.*\.agda-lib' || true)" - if [ -n "$LIB" ]; then - echo "$LIB" > "$HOME/.agda/libraries" - echo "standard-library" > "$HOME/.agda/defaults" - echo "registered: $LIB" - else - echo "agda-stdlib .agda-lib not found via dpkg -L" >&2; exit 1 + # Grab whatever .agda-lib the package ships (name is version-dependent), + # with a filesystem fallback. Dump the file list on failure for triage. + LIB="$(dpkg -L agda-stdlib 2>/dev/null | grep -m1 '\.agda-lib$' || true)" + [ -z "$LIB" ] && LIB="$(find /usr -name '*.agda-lib' 2>/dev/null | grep -m1 -i 'standard' || true)" + if [ -z "$LIB" ]; then + echo "::error::no .agda-lib found for agda-stdlib"; dpkg -L agda-stdlib | tail -60; exit 1 fi + echo "$LIB" > "$HOME/.agda/libraries" + echo "standard-library" > "$HOME/.agda/defaults" + echo "registered: $LIB" - name: Type-check CNO + OND (--safe --without-K) working-directory: proofs/agda run: |