Skip to content
Back to pull request #43431

Revert "chore: remove all selection ranges during navigation" #39648

Sign in to view logs

Revert "chore: remove all selection ranges during navigation"

Revert "chore: remove all selection ranges during navigation" #39648

Triggered via pull request June 10, 2024 20:48
@AndrewGableAndrewGable
opened #43431
revert-42961-fix/41197
Status Success
Total duration 2m 11s
Artifacts –

typecheck.yml

on: pull_request
typecheck
2m 3s
typecheck
Fit to window
Zoom out
Zoom in