Skip to content

Fix selection/highlighter behavior #159

Fix selection/highlighter behavior

Fix selection/highlighter behavior #159

Triggered via push August 7, 2024 21:21
Status Success
Total duration 1m 41s
Artifacts

build.yaml

on: push
Test on Debian trixie
44s
Test on Debian trixie
Test on Debian bookworm
46s
Test on Debian bookworm
Test on Ubuntu noble
55s
Test on Ubuntu noble
Test on Ubuntu jammy
48s
Test on Ubuntu jammy
Test on Archlinux
1m 34s
Test on Archlinux
Fit to window
Zoom out
Zoom in