Repository navigation

ci: build, mirror and snippet checks on every PR; docs-impact checklist - #40

Open

filipagr wants to merge 6 commits into

mainfrom

filipa/docs-sync-design

Open

ci: build, mirror and snippet checks on every PR; docs-impact checklist#40
filipagr wants to merge 6 commits into
mainfrom
filipa/docs-sync-design

Commits on Oct 21, 2026
- ci: build every PR; document docs-sync draft PRs in AGENTS.md
  
  filipagr
  and
  claude
  committed
  087b536
Commits on Nov 11, 2026
- Merge remote-tracking branch 'origin/main' into filipa/docs-ci-checks
  filipagr
  committed
  f53822a
- ci: check mirrors and snippets on every PR; docs-impact checklist
  
  filipagr
  and
  claude
  committed
  32bee70
- Merge remote-tracking branch 'origin/main' into filipa/docs-ci-checks
  filipagr
  committed
  d65f189
- ci: don't accept the template placeholder as a no-mirror reason
  
  filipagr
  and
  claude
  committed
  b6308c1
Commits on Nov 13, 2026
- Merge origin/main into filipa/docs-sync-design
  
  filipagr
  and
  claude
  committed
  5825be1