Skip to content

gui: the batch screen stops slowing down - a control is wired once, and the minimal set remembers each format's smallest size #471

gui: the batch screen stops slowing down - a control is wired once, and the minimal set remembers each format's smallest size

gui: the batch screen stops slowing down - a control is wired once, and the minimal set remembers each format's smallest size #471

Triggered via pull request September 23, 2026 15:51
Status Success
Total duration 42m 13s
Artifacts –

ci.yml

on: pull_request
what this push touched
8s
what this push touched
import table of the window binary
1m 18s
import table of the window binary
known vulnerabilities
2m 59s
known vulnerabilities
staticcheck
3m 44s
staticcheck
linters
3m 58s
linters
semgrep
46s
semgrep
bill of materials
3m 14s
bill of materials
coverage gate
8m 10s
coverage gate
reference tools actually installed
59s
reference tools actually installed
fuzzing with a time budget
fuzzing with a time budget
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

10 notices
what this push touched
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
semgrep
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
reference tools actually installed
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
known vulnerabilities
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
bill of materials
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
staticcheck
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
linters
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
test on ubuntu-latest
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
coverage gate
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
race detector
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"