Skip to content

A reader for the clause-② gate: assert the dual carrier, and make a missing declaration loud #28169

A reader for the clause-② gate: assert the dual carrier, and make a missing declaration loud

A reader for the clause-② gate: assert the dual carrier, and make a missing declaration loud #28169

Triggered via pull request August 31, 2026 18:10
Status Success
Total duration 10m 39s
Artifacts 12

ci.yml

on: pull_request
Matrix: dogfood
Matrix: test
Dogfood Verify CLI
7m 7s
Dogfood Verify CLI
Temporal Conformance (live PG + MySQL)
8m 6s
Temporal Conformance (live PG + MySQL)
Build Core
7m 52s
Build Core
Build Docs
Build Docs
Console Pin Gate
Console Pin Gate
Test Core
14s
Test Core
Dogfood Regression Gate
14s
Dogfood Regression Gate
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
build-output
41.3 MB
sha256:c42fdac95a45a08b340d91e29d9779cd0eb422c6dff7a95386c3f3814837d397
shard-attest-dogfood-1-of-3 Expired
323 Bytes
sha256:06e2e3528674d530ed6c64faccfc6a8e11bdaa04b5db4e2feee0237c5cb3cefa
shard-attest-dogfood-2-of-3 Expired
322 Bytes
sha256:ee0ac7d2b31956fd377dfb9c57e13857f74980e86d08441b164ded6fc897c935
shard-attest-dogfood-3-of-3 Expired
320 Bytes
sha256:eaa22c874500311a6a2ed565e79113f0e97839d522c6dc2672471de6b5b951e0
shard-attest-dogfood-verify-1-of-1 Expired
341 Bytes
sha256:776ed56f0b1ca53c16c4c43e57b9ea2bb13abae7526f83fdff594e7b6db579fb
shard-attest-test-1-of-6 Expired
313 Bytes
sha256:38d66816c472a49401b361c603c90160d6074e1371ae19256918d0ce3cc6f716
shard-attest-test-2-of-6 Expired
312 Bytes
sha256:8d547f8e95e88c6b54bc837ef3ff2bb83ac11f3da7292fd18ade051c46bab395
shard-attest-test-3-of-6 Expired
312 Bytes
sha256:8fee8195a1b43bbeee7e8f8b516a02a1f2fa882a26670a694d00b03315d28220
shard-attest-test-4-of-6 Expired
313 Bytes
sha256:32918d0058399e6ada83c406369893bccd91683d25723cc2f973528e78d8548b
shard-attest-test-5-of-6 Expired
313 Bytes
sha256:c7ac94d7e705835336f89f821aeaf9e725aeb92686bcb0b4dc61123ed03760be
shard-attest-test-6-of-6 Expired
310 Bytes
sha256:a3e8cbfffd8dcf4f7085d999467074600a80bc9a648aab76f06ffbb2e23b2ea4
test-core-run-summary-1-of-6 Expired
91.8 KB
sha256:a9d31b884c06fa9dcaa52ecec810d314dc22b1280a1062d097c155add8e6708b