Skip to content

feat(profiling): make dictionary ids comparable #1021

feat(profiling): make dictionary ids comparable

feat(profiling): make dictionary ids comparable #1021

Triggered via pull request February 13, 2026 22:23
Status Success
Total duration 4m 15s
Artifacts
changed-crates
13s
changed-crates
cargo-metadata
13s
cargo-metadata
missing-docs
1m 11s
missing-docs
changelog-check
12s
changelog-check
dependency-check
3m 57s
dependency-check
Fit to window
Zoom out
Zoom in