Skip to content

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

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

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

Triggered via push August 6, 2025 08:13
Status Success
Total duration 5m 34s
Artifacts
Matrix: analyze
Fit to window
Zoom out
Zoom in