Skip to content

Clippy fix#770

Merged
johnbatty merged 3 commits into
microsoft:mainfrom
johnbatty:clippy-fixes
Apr 12, 2026
Merged

Clippy fix#770
johnbatty merged 3 commits into
microsoft:mainfrom
johnbatty:clippy-fixes

Fix clippy warning

9333d33
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build
succeeded Apr 12, 2026 in 10m 4s