Don't create a `RouteId` if routes can be merged (#2174) #3849

Sign in to view logs

Triggered via push August 14, 2023 20:38

davidpdrsn

main

Status Success

Total duration 6m 1s

Artifacts –

CI.yml

on: push

dependencies-are-sorted

Spell Check with Typos

Matrix: cargo-public-api-crates

Matrix: cargo-deny check

armv5te-unknown-linux-musleabi

wasm32-unknown-unknown

Matrix: test-versions