Skip to content

Add an editor preference for touched/enclosed/directional based selection #951

Add an editor preference for touched/enclosed/directional based selection

Add an editor preference for touched/enclosed/directional based selection #951

Triggered via pull request January 26, 2025 06:25
Status Skipped
Total duration 3s
Artifacts

comment-clippy-warnings.yaml

on: pull_request
Run Clippy
0s
Run Clippy
Fit to window
Zoom out
Zoom in