Skip to content
CI

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

Sign in to view logs

Highlight selection plugin: Fix highlighting when same word reselected

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

Triggered via pull request May 29, 2025 18:04
@jeremypwjeremypw
opened #1582
jeremypw/rework-highlight-selection2
Status Success
Total duration 11m 24s
Artifacts 2

ci.yml

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

Artifacts

Produced during runtime
Name Size Digest
code-aarch64.flatpak Expired
2.65 MB
sha256:0fcf5caa11b5c007be319d627305176948474f3597d105798e2007d2ce01e203
code-x86_64.flatpak Expired
2.83 MB
sha256:5cc4fef94afadffb29402cb92b53b4c8c808eb43ff860676c24cff2a58e282ee