Skip to content

chore: sync static-site docs to dfinity/certified-assets v0.4.0 - #406

Merged
marc0olo merged 1 commit into
mainfrom
infra/sync-static-site-v0.4.0
Sep 21, 2026
Merged

marc0olo merged 1 commit into
mainfrom
infra/sync-static-site-v0.4.0

Conversation

@pr-automation-bot-public

Copy link
Copy Markdown
Contributor

Summary

Automated sync of the certified-assets user docs.

Release: v0.4.0 (pinned from 65c0f32)

Changed upstream files:

  • docs/headers.md

  • docs/overview.md

  • docs/verifying-contents.md

  • Ran npm run sync:static-site, regenerating docs/guides/frontends/static-site/

  • Validator and build passed

Checklist

  • Review the page diffs for content changes
  • Check whether a behavior change contradicts our own Frontends pages (certification.md, asset-canister.md)
  • Check whether the recipe version named in icp.yaml examples needs bumping with it

@pr-automation-bot-public
pr-automation-bot-public Bot requested a review from a team as a code owner September 21, 2026 09:23
marc0olo added a commit that referenced this pull request Sep 21, 2026
## Summary

The static-site sync PR (#406) is blocked by `Check Bot Policies`:
`.github/repo_policies/BOT_APPROVED_FILES` has no entry for what
`sync-static-site.yml` stages.

- **`sync-static-site`**: adds `.sources/upstream.json` (the pin bump)
and `docs/guides/frontends/static-site/*` (the synced pages).
- **`update-syntax-grammars`**: the workflow stages `syntaxes/`
wholesale, but only two of the three files in it were listed, so a new
grammar would block the next PR. Replaced with `syntaxes/*`.

Verified every path each bot workflow stages against the fnmatch
patterns: all covered.

The checker reads this file from the default branch, not from the PR
head, so #406 stays blocked until this merges. Re-run its failed job
afterwards.

Co-authored-by: Claude Opus 5 (1M context) <noreply@anthropic.com>
@marc0olo
marc0olo merged commit 4be3552 into main Sep 21, 2026
12 of 13 checks passed
@marc0olo
marc0olo deleted the infra/sync-static-site-v0.4.0 branch September 21, 2026 09:39
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