docs(spec): re-measure proof 4's two mislabelled census figures, each beside its population #36210
Triggered via pull request
September 18, 2026 01:54
os-bill
Status
Success
Total duration
27m 20s
Artifacts
–
lint.yml
on: pull_request
Type Check · source gates
2m 40s
Type Check · workspace
15m 26s
Type Check · debt ledger
8m 1s
Type Check · consumer gates
8m 39s
Lint & Repo Gates
26m 55s
TypeScript Type Check
5s
Annotations
6 notices
|
Type Check · source gates
"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"
|
|
Type Check · debt ledger
"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"
|
|
Type Check · consumer gates
"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"
|
|
Type Check · workspace
"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"
|
|
TypeScript Type Check
"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"
|
|
Lint & Repo Gates
"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"
|