Skip to content
Lint & Type Check

feat(spec,verify): prove-it-runs proof field + ratchet, binding 4 high-risk classes (ADR-0054 #1 + Phase 2) #6300

Sign in to view logs

feat(spec,verify): prove-it-runs proof field + ratchet, binding 4 high-risk classes (ADR-0054 #1 + Phase 2)

feat(spec,verify): prove-it-runs proof field + ratchet, binding 4 high-risk classes (ADR-0054 #1 + Phase 2) #6300

Triggered via pull request June 19, 2026 10:29
@os-zhuangos-zhuang
synchronize #2045
claude/lucid-gauss-t7dd3z
Status Success
Total duration 4m 47s
Artifacts –

lint.yml

on: pull_request
ESLint
46s
ESLint
TypeScript Type Check
4m 43s
TypeScript Type Check
Fit to window
Zoom out
Zoom in