Skip to content
This repository was archived by the owner on Sep 23, 2025. It is now read-only.

Add line highlighting when navigating from review references #10

Add line highlighting when navigating from review references

Add line highlighting when navigating from review references #10

Triggered via push July 29, 2025 09:30
Status Success
Total duration 19s
Artifacts

ci.yml

on: push
typecheck
15s
typecheck
Fit to window
Zoom out
Zoom in