Skip to content

editor: Remove gap between gutter and horizontal scrollbar track #43396

editor: Remove gap between gutter and horizontal scrollbar track

editor: Remove gap between gutter and horizontal scrollbar track #43396

Triggered via pull request February 14, 2025 16:47
Status Success
Total duration 14m 45s
Billable time 14m
Artifacts

ci.yml

on: pull_request
(Linux) Run Clippy and tests
14m 20s
(Linux) Run Clippy and tests
(macOS) Run Clippy and tests
6m 57s
(macOS) Run Clippy and tests
Check Postgres and Protobuf migrations, mergability
13s
Check Postgres and Protobuf migrations, mergability
Check formatting and spelling
47s
Check formatting and spelling
(Linux) Build Remote Server
1m 41s
(Linux) Build Remote Server
(Windows) Run Clippy and tests
13m 56s
(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