Skip to content
CI

Highlight selection plugin: Fix highlighting when same word reselected #1760

Sign in to view logs

Highlight selection plugin: Fix highlighting when same word reselected

Highlight selection plugin: Fix highlighting when same word reselected #1760

Triggered via pull request July 16, 2025 16:07
@jeremypwjeremypw
synchronize #1582
jeremypw/rework-highlight-selection2
Status Success
Total duration 7m 14s
Artifacts 2

ci.yml

on: pull_request
Lint
9s
Lint
Matrix: build
Matrix: Flatpak
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
code-aarch64.flatpak Expired
2.72 MB
sha256:12f5d59fdeabe0856dd77f9cdbab33d878c25eab656f915424d30735210a630e
code-x86_64.flatpak Expired
2.9 MB
sha256:532bc9194ccee24a6fa62fa6b3eb9d862fc7587e32f7c08777539493f96380e0