Skip to content
CI

feat(spec): check (c) proves a guidance-route retirement on a reachable def (#18301) #35788

Sign in to view logs

feat(spec): check (c) proves a guidance-route retirement on a reachable def (#18301)

feat(spec): check (c) proves a guidance-route retirement on a reachable def (#18301) #35788

Triggered via pull request September 17, 2026 02:31
@os-litantos-litant
synchronize #18529
claude/issue-18301-check-c-fourth-proof
Status Success
Total duration 17m 55s
Artifacts 1

ci.yml

on: pull_request
filter
15s
filter
Matrix: dogfood
Matrix: test
Dogfood Verify CLI
6m 31s
Dogfood Verify CLI
Temporal Conformance (live PG + MySQL)
8m 34s
Temporal Conformance (live PG + MySQL)
Build Core
8m 31s
Build Core
Build Docs
Build Docs
Console Pin Gate
Console Pin Gate
Test Core
18s
Test Core
Dogfood Regression Gate
17s
Dogfood Regression Gate
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
build-output
22.9 MB
sha256:f557aabaf1408c1aab235e940226cd5d320b3a9bc483d277adf8a80159b3054b