docs

chore: add a post-submit check that regenerating doesn't change anything #14173

Sign in to view logs

Triggered via pull request May 6, 2026 15:07

jskeet

synchronize #16941

jskeet:generate-on-push

Status Success

Total duration 47s

Artifacts –

docs.yml

on: pull_request