Skip to content

UX: simplify markup to fix j/k highlighting (#516) #317

UX: simplify markup to fix j/k highlighting (#516)

UX: simplify markup to fix j/k highlighting (#516) #317

Triggered via push October 20, 2023 00:40
Status Success
Total duration 5m 53s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
Matrix: ci / tests
Fit to window
Zoom out
Zoom in