Skip to content

Fix checkboxes by using deterministic widget IDs instead of random ones to make the diffing easier #5524

Fix checkboxes by using deterministic widget IDs instead of random ones to make the diffing easier

Fix checkboxes by using deterministic widget IDs instead of random ones to make the diffing easier #5524

Triggered via pull request December 8, 2025 11:23
Status Skipped
Total duration 1s
Artifacts

comment-clippy-warnings.yaml

on: pull_request
Run Clippy
0s
Run Clippy
Fit to window
Zoom out
Zoom in