Skip to content

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

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 #6091

Triggered via pull request December 8, 2025 12:04
Status Success
Total duration 26m 27s
Artifacts

build-dev-and-ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in