Skip to content

feat(badges): add the wickra-proof badge row to the pipeline#54

Merged
kingchenc merged 1 commit into
mainfrom
feat/proof-badges
Jul 10, 2026
Merged

feat(badges): add the wickra-proof badge row to the pipeline#54
kingchenc merged 1 commit into
mainfrom
feat/proof-badges

Conversation

@kingchenc

Copy link
Copy Markdown
Contributor

Adds proofBadges (17 slugs) and an f7 snapshot call to scripts/fetch-badges.mjs so the badge-refresh pipeline snapshots wickra-proof repo-status badges into profile/badges/wickra-proof/.

Seeds the generated SVGs (ci, codeql, codecov, license, scorecard, best-practices, provenance, docs, verified) so the badge links in the wickra-proof README resolve immediately. Version badges (crates/pypi/npm/nuget/maven/go/r-universe) are skipped while the packages are unpublished and will populate on first release.

Unblocks the badge row in the wickra-proof README.

Add a proofBadges array (17 slugs) and an f7 snapshot() call to
scripts/fetch-badges.mjs so the badge-refresh pipeline snapshots
wickra-proof repo-status badges into profile/badges/wickra-proof/.
Seed the generated SVGs so the badge links in the wickra-proof README
resolve immediately; version badges are skipped while the packages are
unpublished.
@kingchenc kingchenc merged commit 4b8b9c9 into main Jul 10, 2026
3 checks passed
@kingchenc kingchenc deleted the feat/proof-badges branch July 10, 2026 23:58
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