Skip to content

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

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

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

Triggered via push August 6, 2025 08:13
Status Success
Total duration 19s
Artifacts

sync-files.yml

on: push
Fit to window
Zoom out
Zoom in