From 515a6b8f3e0c3a4d1658bc5c8cc87fe87232fad6 Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com> Date: Wed, 30 Sep 2026 10:59:21 +0100 Subject: [PATCH] fix(ci): call idris2 by full path before it is on PATH (required gate red since #820) #820 moved `make install` from /usr/local (already on PATH) to $HOME/.idris2, but left `idris2 --version` as the last line of the SAME step, before the "Put Idris 2 on PATH" step runs. Every uncached run dies there with exit 127 ("idris2: command not found"). abi-codegen-drift is a REQUIRED status check on main, so this has held every hypatia PR since (main runs red 09-27, 09-28, 09-29). verify-proofs carries the identical line and is fixed the same way. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_0136eszqrQ53Kj7aBH1D4rXK --- .github/workflows/abi-codegen-drift.yml | 3 ++- .github/workflows/verify-proofs.yml | 3 ++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/.github/workflows/abi-codegen-drift.yml b/.github/workflows/abi-codegen-drift.yml index f04e5b09..0a436791 100644 --- a/.github/workflows/abi-codegen-drift.yml +++ b/.github/workflows/abi-codegen-drift.yml @@ -74,7 +74,8 @@ jobs: # bootstrap-built binary already looks ($HOME/.idris2), so # `idris2 --libdir` and the install trees cannot disagree. make install PREFIX="$HOME/.idris2" - idris2 --version + # Not yet on PATH (the next step adds it): call it by its full path. + "$HOME/.idris2/bin/idris2" --version - name: Put Idris 2 on PATH run: echo "$HOME/.idris2/bin" >> "$GITHUB_PATH" diff --git a/.github/workflows/verify-proofs.yml b/.github/workflows/verify-proofs.yml index 5e43f63d..1a29bfec 100644 --- a/.github/workflows/verify-proofs.yml +++ b/.github/workflows/verify-proofs.yml @@ -115,7 +115,8 @@ jobs: # chez/support.ss". Installing to the prefix the binary reads # removes the mismatch and the need for sudo. make install PREFIX="$HOME/.idris2" - idris2 --version + # Not yet on PATH (the next step adds it): call it by its full path. + "$HOME/.idris2/bin/idris2" --version - name: Put Idris 2 on PATH run: echo "$HOME/.idris2/bin" >> "$GITHUB_PATH"