build

cli: support multiple `--revision` arguments to `workspace add` #7675

Job	Run time
cargo-deny (advisories)	44s
build (ubuntu-latest)	4m 42s
Check protos	43s
cargo-deny (bans licenses sources)	27s
build (macos-13)	4m 48s
Clippy check	2m 14s
build (windows-latest)	16m 2s
build (ubuntu-latest, --all-features)	9m 51s
Check that MkDocs can build the docs	18s
Check formatting	19s
	40m 8s

Provide feedback