Skip to content
Language Policy Enforcement

feat(proofs/agda): upstream Echo/CNO bridge files from maa-framework vendored copy #218

Sign in to view logs

feat(proofs/agda): upstream Echo/CNO bridge files from maa-framework vendored copy

feat(proofs/agda): upstream Echo/CNO bridge files from maa-framework vendored copy #218

Triggered via pull request May 27, 2026 10:30
@hyperpolymathhyperpolymath
opened #65
claude/upstream-echobridge-from-maa
Status Success
Total duration 9s
Artifacts –

language-policy.yml

on: pull_request
check
5s
check
Fit to window
Zoom out
Zoom in