check

doc: double #4654

Job	Run time
coverage-check	13s
typo-check	5s
bleeding-check (macos-latest)	1m 39s
build (ubuntu-latest)	1m 53s
bleeding-check (ubuntu-latest)	1m 58s
license-header-check	6s
moon-json-format-check	3s
build (macos-latest)	1m 23s
build (macos-13)	2m 2s
build (windows-latest)	1m 9s
nightly-check (ubuntu-latest)	1m 54s
nightly-check (macos-latest)	1m 16s
nightly-check (macos-13)	2m 20s
nightly-check (windows-latest)	1m 25s
	17m 26s

Provide feedback