Skip to content

settings_ui: Scale window size based on UI font size #72023

settings_ui: Scale window size based on UI font size

settings_ui: Scale window size based on UI font size #72023

Triggered via pull request October 15, 2025 16:28
Status Success
Total duration 17m 22s
Artifacts

ci.yml

on: pull_request
Decide which jobs to run
8s
Decide which jobs to run
(Linux) Run Clippy and tests
12m 4s
(Linux) Run Clippy and tests
(macOS) Run Clippy and tests
16m 49s
(macOS) Run Clippy and tests
(Windows) Run Clippy and tests
5m 31s
(Windows) Run Clippy and tests
Check Postgres and Protobuf migrations, mergability
13s
Check Postgres and Protobuf migrations, mergability
Check workspace-hack crate
3m 23s
Check workspace-hack crate
Check formatting and spelling
35s
Check formatting and spelling
Check docs
3m 25s
Check docs
actionlint
0s
actionlint
(Linux) Build Remote Server
1m 51s
(Linux) Build Remote Server
(Linux) Run doctests
4m 26s
(Linux) Run doctests
Matrix: Build with Nix / nix-build
Waiting for pending jobs
Linux x86_x64 release bundle
0s
Linux x86_x64 release bundle
Linux arm64 release bundle
0s
Linux arm64 release bundle
Build Zed on FreeBSD
0s
Build Zed on FreeBSD
Create a macOS bundle
Create a macOS bundle
Create a Windows installer
Create a Windows installer
Tests Pass
3s
Tests Pass
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