🌐 US-Proxy
class="logged-out env-production page-responsive" style="word-wrap: break-word;" >
Skip to content

don't record a tests failure just because stack isn't on the PATH. - #6202

Merged
aryairani merged 1 commit into
trunkfrom
fix/proofs-missing-toolchain
Mar 25, 2026
Merged

don't record a tests failure just because stack isn't on the PATH.#6202
aryairani merged 1 commit into
trunkfrom
fix/proofs-missing-toolchain

Conversation

@aryairani

Copy link
Copy Markdown
Contributor

Overview

the checks were caching a failure even if the tests weren't able to start at all; with this PR it should warn about that. e.g.

arya@lrrr 6192 % git push --force
Checking transcripts proof for refs/heads/fix/proofs-missing-toolchain...
  Hash: 71475993552c19ea6fe172c146a6a4ca04e5229f333bd158ee66ed4d0e660a98
Attestation not found, running transcripts.

Cannot run transcripts: missing required tool: stack
This is an environment/toolchain issue; no attestation was recorded.

❌ transcripts failed. Please fix the issues and try again.
   (You can skip with --no-verify, but CI will likely fail.)
error: failed to push some refs to 'github.com:unisonweb/unison'

Implementation approach and notes

It adds a attestation_require_commands helper that checks that certain commands at least exist before starting, and a prereq_failed helper which lets you fail for a custom reason in a script without counting it as a complete failure.

@aryairani
aryairani requested a review from a team as a code owner March 25, 2026 20:53
@aryairani
aryairani merged commit e12834f into trunk Mar 25, 2026
5 checks passed
@aryairani
aryairani deleted the fix/proofs-missing-toolchain branch March 25, 2026 20:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant