Skip to content

attestgate: a step that attests what it uploads does so under its own if - #30

Merged
aledbf merged 1 commit into
mainfrom
attestgate-same-step
Oct 13, 2026
Merged

aledbf merged 1 commit into
mainfrom
attestgate-same-step

Conversation

@aledbf

@aledbf aledbf commented Oct 13, 2026 •

Copy link
Copy Markdown
Contributor

spin-ami's ci.yml runs task prebuilt:save under if: github.event_name == 'push', and that one step both attests and uploads. The gate flagged it as "an attestation that may not happen". The step's if: is the upload's too: when it does not run, nothing leaves.

  • A step that attests and uploads is attested under its own if:, for itself only. A later step does not inherit it.
  • continue-on-error: true is still refused, as is a conditional attest-only step.

Three new cases; mutate 13 refused, 0 survived.

🤖 Generated with Claude Code


View with [code]smith Autofix with [code]smith
Need help on this PR? Tag @codesmith-bot with what you need.

spin-ami's ci.yml saves prebuilts with one task step, under if: push,
that attests and uploads. Its condition is the upload's too: when it
does not run nothing leaves. It is attested for itself only - a later
step, which may run when it did not, is not - and continue-on-error is
still refused.

Co-Authored-By: Claude Opus 5.5 (1M context) <[email protected]>
@aledbf
aledbf merged commit a91d363 into main Oct 13, 2026
1 check passed
@aledbf
aledbf deleted the attestgate-same-step branch October 13, 2026 12:55
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