build

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

Job	Run time
build (ubuntu-latest)	7m 20s
build (macos-13)	1s
build (windows-latest)	7m 42s
build (ubuntu-latest, --all-features)	6m 52s
cargo-deny (advisories)	35s
cargo-deny (bans licenses sources)	32s
Check protos	44s
Clippy check	3m 42s
Check that MkDocs can build the docs	32s
Check formatting	24s
	28m 24s

Provide feedback