Skip to content

Run release audits in the release workspace#5

Merged
Polarnova merged 1 commit into
mainfrom
release-rondo
Jul 24, 2026
Merged

Run release audits in the release workspace#5
Polarnova merged 1 commit into
mainfrom
release-rondo

Conversation

@Polarnova

@Polarnova Polarnova commented Jul 24, 2026

Copy link
Copy Markdown
Owner

Summary

  • run the release proof audit in the same injected consumer workspace that built CryptBoolean
  • restore and save the production build cache around release builds
  • preserve the existing repository-root audit behavior for ordinary CI

Verification

  • actionlint
  • shellcheck and shell syntax checks
  • forbidden-token scan
  • Blueprint statement-style validation (116 nodes; 115 formalized; 1 open)

The previous v0.3.0 release run completed the Linux consumer build but failed only when the audit was launched from the repository workspace.

@Polarnova
Polarnova merged commit 0a46737 into main Jul 24, 2026
2 checks passed
@Polarnova
Polarnova deleted the release-rondo branch July 24, 2026 03:03
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