Skip to content

chore(modules): auto-sign bundled manifests (dev)#510

Merged
djm81 merged 1 commit intodevfrom
auto/sign-dev-24537773766
Apr 16, 2026
Merged

chore(modules): auto-sign bundled manifests (dev)#510
djm81 merged 1 commit intodevfrom
auto/sign-dev-24537773766

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

Automated integrity refresh after push to dev. Merge so strict verify and reproducibility run against the signed tip (protected branch — no direct push).

@djm81 djm81 merged commit ef07858 into dev Apr 16, 2026
2 checks passed
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