Don't create a RouteId if routes can be merged
#3848
jplatteCI.yml
on: pull_request
check
1m 23s
check-docs
33s
cargo-hack
4m 48s
dependencies-are-sorted
22s
Spell Check with Typos
5s
Matrix: cargo-public-api-crates
Matrix: cargo-deny check
test-nightly
3m 16s
test-msrv
2m 20s
test-docs
3m 26s
armv5te-unknown-linux-musleabi
44s
wasm32-unknown-unknown
31s
Matrix: test-versions