Skip to content

Merge pull request #20173 from hvitved/rust/type-mention-remove-restr… #31949

Merge pull request #20173 from hvitved/rust/type-mention-remove-restr…

Merge pull request #20173 from hvitved/rust/type-mention-remove-restr… #31949

Triggered via push August 6, 2025 08:13
Status Success
Total duration 1h 23m 14s
Artifacts
compile-queries
1h 23m
compile-queries
Fit to window
Zoom out
Zoom in