Skip to content

docs(spec): re-measure proof 4's two mislabelled census figures, each beside its population #36312

docs(spec): re-measure proof 4's two mislabelled census figures, each beside its population

docs(spec): re-measure proof 4's two mislabelled census figures, each beside its population #36312

Triggered via pull request September 18, 2026 01:54
Status Success
Total duration 18m 9s
Artifacts 24

ci.yml

on: pull_request
Matrix: dogfood
Matrix: test
Dogfood Verify CLI
7m 46s
Dogfood Verify CLI
Temporal Conformance (live PG + MySQL)
10m 27s
Temporal Conformance (live PG + MySQL)
Build Core
7m 54s
Build Core
Build Docs
0s
Build Docs
Console Pin Gate
0s
Console Pin Gate
Test Core
21s
Test Core
Dogfood Regression Gate
16s
Dogfood Regression Gate
Fit to window
Zoom out
Zoom in

Annotations

15 notices
filter
"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"
Dogfood Regression Gate (1/3)
"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"
Dogfood Verify CLI
"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"
Dogfood Regression Gate (2/3)
"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"
Build Core
"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"
Dogfood Regression Gate (3/3)
"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"
Dogfood Regression 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"
Temporal Conformance (live PG + MySQL)
"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 Core (4/6)
"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 Core (2/6)
"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 Core (5/6)
"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 Core (3/6)
"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 Core (1/6)
"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 Core (6/6)
"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 Core
"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"

Artifacts

Produced during runtime
Name Size Digest
build-output
23.1 MB
sha256:5ce3b267298200f1e1a61d993ed263b710c0e73a19ab7f0d5a4fc370fa906059
shard-attest-dogfood-1-of-3 Expired
323 Bytes
sha256:83ce2b19ca3aee46c7e53e1a31b1788740c6faf6e413dd9a06d08fc34b917111
shard-attest-dogfood-2-of-3 Expired
322 Bytes
sha256:800b121584a26e36ab103ae2907117be4d2cb1c36976062c1d4f133923fa2deb
shard-attest-dogfood-3-of-3 Expired
321 Bytes
sha256:d2a732391d345cf80abdef2808af71294048a0e1f6cc79bdee6bb78cf313e045
shard-attest-dogfood-verify-1-of-1 Expired
340 Bytes
sha256:f0b1366d8308a09f7986bbb5ef0219e52d5811d5c761d28cd5db18fc4e730cd0
shard-attest-test-1-of-6 Expired
313 Bytes
sha256:ae41c6a07c9791909488245c5f69f211c437445fffd545422d4de1aadebe3603
shard-attest-test-2-of-6 Expired
313 Bytes
sha256:5389b9c0f2de0c86dd1d57069f4163d59ff8851279f695df70baaf7e4a7ec350
shard-attest-test-3-of-6 Expired
313 Bytes
sha256:4c4cc531bb549b28cef4b2b705db408a303a37a6f9ad866c2d04c3f098a2b8da
shard-attest-test-4-of-6 Expired
313 Bytes
sha256:ae77b9e6ff731822c050f4c948b3700f8265c017f9ffc6efd5f012baf1c73f4e
shard-attest-test-5-of-6 Expired
313 Bytes
sha256:278af7f3610d5d9abe0957652dcb0b7676c372dffb29f3b1d641baadfaebae4d
shard-attest-test-6-of-6 Expired
310 Bytes
sha256:ebbaec597d49d5de09041897f0930373c7e7dbc1b18406886ce600af63265266
test-core-run-summary-1-of-6 Expired
740 KB
sha256:7970697ba9acde5f25be7b1f9b972a72a58ca62fcc0d9ceef8de7bddf5ed993c
test-core-run-summary-2-of-6 Expired
330 KB
sha256:ea829b830d8e386022faa0366677f11b3c414f22300f058af992a95257ca28ac
test-core-run-summary-3-of-6 Expired
693 KB
sha256:47824b7d235d2ef7c23ed0329c5559f4386bb612ab2d99306eec73298417019d
test-core-run-summary-4-of-6 Expired
288 KB
sha256:a4cb4434e2ca2677cc409637fb759b9385d8cdde72b7272d1affeecb1f7a1a10
test-core-run-summary-5-of-6 Expired
520 KB
sha256:920c00c2eb5139abd6a5f584d80164b0aab132c26784e45a7fc0c13ba0da05b2
test-core-run-summary-6-of-6 Expired
273 KB
sha256:8c27d959f6d0911e91e07d5181dd2746f728d4d432091fd56f9ea19227ea424e
test-core-timing-table
67.4 KB
sha256:70e5a1fd9ce6a797b4769ec70645190c4ae4acace026a0b23522c5d62bf6f190
test-core-timings-1-of-6 Expired
11.8 KB
sha256:b98993f60bd25aee3e4bbdf9ba9bf47a6311d59fdf8164166771a54405611d31
test-core-timings-2-of-6 Expired
10.6 KB
sha256:8fde91c81a738945f36d162f04f3e97fcde51344fa21d2521af00545902195d1
test-core-timings-3-of-6 Expired
12.2 KB
sha256:35c0053374e4f6c1ae352b71acc8bfde709ae26c4f914b3f3a6be17d9a5ea70d
test-core-timings-4-of-6 Expired
10 KB
sha256:54ca68f0163baa2f090e93dad06e7a4bff8b3117effd0f4a5f2f22cf0c681542
test-core-timings-5-of-6 Expired
10.3 KB
sha256:e46bb190397d38911b0ad36d883ffb040ec624661c0f692b92ce996e9b7026f7
test-core-timings-6-of-6 Expired
8.22 KB
sha256:b5f30e0998089bc5b16d5d1dcc7c5830895709f6b975328fc2f11baf845260b0