Skip to content

Final polish for the highlighting feature #446

Final polish for the highlighting feature

Final polish for the highlighting feature #446

Triggered via pull request November 16, 2023 01:30
@bglwbglw
opened #502
Status Skipped
Total duration 3s
Artifacts

dependabot.yml

on: pull_request_target
auto-merge
0s
auto-merge
Fit to window
Zoom out
Zoom in