Lint

chore(deps-dev): Bump doccmd from 2026.5.19 to 2026.5.25 (#3206) #7942

Job	Run time
build (3.14, ubuntu-latest, pre-commit)	1m 5s
build (3.14, windows-latest, pre-push)	8m 15s
build (3.14, windows-latest, manual)	2m 49s
build (3.14, ubuntu-latest, pre-push)	6m 9s
build (3.14, ubuntu-latest, manual)	57s
build (3.14, windows-latest, pre-commit)	3m 47s
completion-lint	3s
	23m 5s

Provide feedback