Skip to content

ci: add dynamic Skylos badge - #30

Merged
vndv merged 1 commit into
mainfrom
add-dynamic-skylos-badge
May 31, 2026
Merged

ci: add dynamic Skylos badge#30
vndv merged 1 commit into
mainfrom
add-dynamic-skylos-badge

Conversation

@vndv

@vndv vndv commented May 31, 2026

Copy link
Copy Markdown
Owner

Summary

  • add a Shields endpoint badge backed by .github/badges/skylos.json
  • generate the badge JSON from Skylos JSON output
  • update the badge automatically on main after the Skylos CI job runs

Test

  • npm run ci
  • uvx skylos . --gate
  • node scripts/update-skylos-badge.mjs /private/tmp/skylos-results.json

@vndv
vndv merged commit 9c35594 into main May 31, 2026
2 checks passed
@vndv
vndv deleted the add-dynamic-skylos-badge branch June 21, 2026 16:33
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