Skip to content

editor: Do not highlight selected text + Clear highlight preemptively when new selection is detected #43822

editor: Do not highlight selected text + Clear highlight preemptively when new selection is detected

editor: Do not highlight selected text + Clear highlight preemptively when new selection is detected #43822

Triggered via pull request February 19, 2025 11:54
Status Success
Total duration 15m 1s
Billable time 15m
Artifacts

ci.yml

on: pull_request
(Linux) Run Clippy and tests
10m 25s
(Linux) Run Clippy and tests
(macOS) Run Clippy and tests
6m 56s
(macOS) Run Clippy and tests
Check Postgres and Protobuf migrations, mergability
14s
Check Postgres and Protobuf migrations, mergability
Check formatting and spelling
29s
Check formatting and spelling
(Linux) Build Remote Server
1m 26s
(Linux) Build Remote Server
(Windows) Run Clippy and tests
14m 44s
(Windows) Run Clippy and tests
Linux x86_x64 release bundle
0s
Linux x86_x64 release bundle
Linux arm64 release bundle
0s
Linux arm64 release bundle
Create a macOS bundle
0s
Create a macOS bundle
Auto release preview
0s
Auto release preview
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Check Postgres and Protobuf migrations, mergability
No github_token supplied, API requests will be subject to stricter rate limiting