Skip to content
CodeQL Security Analysis

feat(dogfood): metadata-driven verifier (objectstack verify) — auto-derive runtime proofs #6262

Sign in to view logs

feat(dogfood): metadata-driven verifier (objectstack verify) — auto-derive runtime proofs

feat(dogfood): metadata-driven verifier (objectstack verify) — auto-derive runtime proofs #6262

Triggered via pull request June 18, 2026 06:42
@os-zhuangos-zhuang
opened #2027
feat/dogfood-auto-verify
Status Success
Total duration 3m 45s
Artifacts –

codeql.yml

on: pull_request
Matrix: Analyze
Fit to window
Zoom out
Zoom in