Skip to content

gui: the whole head row of a section opens and closes it (#110) #421

gui: the whole head row of a section opens and closes it (#110)

gui: the whole head row of a section opens and closes it (#110) #421

Triggered via push September 21, 2026 16:55
Status Success
Total duration 15m 40s
Artifacts –

ci.yml

on: push
what this push touched
10s
what this push touched
known vulnerabilities
3m 23s
known vulnerabilities
staticcheck
2m 45s
staticcheck
linters
3m 48s
linters
semgrep
39s
semgrep
bill of materials
3m 30s
bill of materials
coverage gate
5m 46s
coverage gate
reference tools actually installed
1m 14s
reference tools actually installed
fuzzing with a time budget
0s
fuzzing with a time budget
Matrix: test
race detector
race detector
Fit to window
Zoom out
Zoom in

Annotations

9 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"
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"
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"
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"