Skip to content
CI

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

Sign in to view logs

Highlight selection plugin: Fix highlighting when same word reselected

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

Triggered via pull request May 29, 2025 19:07
@jeremypwjeremypw
synchronize #1582
jeremypw/rework-highlight-selection2
Status Success
Total duration 9m 47s
Artifacts 2

ci.yml

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

Artifacts

Produced during runtime
Name Size Digest
code-aarch64.flatpak Expired
2.66 MB
sha256:0dc42f97e2698069b6c912589ee7e771a5ed514eee47503e2809584f5b8c6e9f
code-x86_64.flatpak Expired
2.83 MB
sha256:5f91f3318e30b136039f6d00f8a08d8a5be027a4bec495bfc6d6a57470421ace