feat(spec,verify): prove-it-runs proof field + ratchet, binding 4 high-risk classes (ADR-0054 #1 + Phase 2) #6408
os-zhuangci.yml
on: pull_request
filter
6s
Test Core
6m 41s
Dogfood Regression Gate
4m 33s
Build Core
5m 22s
Build Docs
2m 20s
Check Skill Docs
0s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
build-output
Expired
|
9.62 MB |
sha256:db6dfe7878ab0cb719aba9f6398d9da5d47af8d3d7e77e644e25dd2fb54c26e3
|
|
|
coverage-report
Expired
|
1.68 MB |
sha256:23c8b1ddd110bcd4b8a07d6803b68e96c85d5da7d194e6053b53a2e8e1614c19
|
|