Skip to content

chore: refresh merged catalog (run 32106519211) - #21

Draft
github-actions[bot] wants to merge 1 commit into
mainfrom
catalog/refresh-32106519211
Draft

chore: refresh merged catalog (run 32106519211)#21
github-actions[bot] wants to merge 1 commit into
mainfrom
catalog/refresh-32106519211

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

Automated catalog refresh from run 32106519211.

  • catalog.merged.json changed: true
  • grounding.merged.json changed: false

Produced by the aggregate lane: org-wide discovery over opted-in repos
using a brokered catalog-aggregate token, gated by string-audit's prose
and grounding rules under --strict, and attested (SLSA Build L2) before
this PR was opened. Merging is the last step, not a rubber stamp — the gate
and the attestation already ran against exactly these bytes.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Todo

Development

Successfully merging this pull request may close these issues.

0 participants