build

revset: do not lookup unimported tags or remote branches by unqualifi… #6723

Job	Run time
cargo-deny (advisories)	29s
cargo-deny (bans licenses sources)	34s
build (ubuntu-latest)	9m 52s
build (macos-13)	3m 49s
build (windows-latest)	10m 29s
build (ubuntu-latest, --all-features)	6m 22s
Check protos	52s
Clippy check	3m 4s
Check that MkDocs can build the docs	31s
Check formatting	15s
	36m 17s

Provide feedback