Repository navigation

Tooling: seconds-fast generated-doc drift gate — script/check-generated-docs.sh (#15621) - #15635

Merged

PurHur merged 1 commit into

feat/15621-drift-check

Jul 3, 2026

Merged

Tooling: seconds-fast generated-doc drift gate — script/check-generated-docs.sh (#15621)#15635
PurHur merged 1 commit into
masterfrom
feat/15621-drift-check

Commits on Jul 3, 2026
- Tooling: add seconds-fast generated-doc drift gate script/check-generated-docs.sh (#15621)
  
  anmichels
  and
  claude
  committed
  3e554cd