Skip to content
CI

feat(spec): C2-α — explain 契约扩展到 record 粒度 (#2920) (#2928) #8536

Sign in to view logs

feat(spec): C2-α — explain 契约扩展到 record 粒度 (#2920) (#2928)

feat(spec): C2-α — explain 契约扩展到 record 粒度 (#2920) (#2928) #8536

Triggered via push July 14, 2026 23:45
@os-zhuangos-zhuang
pushed ed61c9b
main
Status Cancelled
Total duration 8s
Artifacts –

ci.yml

on: push
filter
5s
filter
Test Core
0s
Test Core
Dogfood Regression Gate
0s
Dogfood Regression Gate
Build Core
0s
Build Core
Build Docs
0s
Build Docs
Check Skill Docs
0s
Check Skill Docs
Fit to window
Zoom out
Zoom in

Annotations

3 errors
filter
Canceling since a higher priority waiting request for ci-CI-refs/heads/main exists
filter
The operation was canceled.
CI
Canceling since a higher priority waiting request for ci-CI-refs/heads/main exists