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"