build

docs/design: Move the `run` doc to github. #6848

Job	Run time
Check protos	41s
Check formatting	15s
build (ubuntu-latest)	8m 35s
build (macos-13)	3m 48s
build (windows-latest)	11m 51s
build (ubuntu-latest, --all-features)	9m 40s
Check that MkDocs can build the docs	34s
Clippy check	2m 52s
cargo-deny (advisories)	28s
cargo-deny (bans licenses sources)	32s
	39m 16s

Provide feedback