Skip to content
bridge-gate

fix(abi): repair the Idris2 proofs and record proof status against the policy #354

Sign in to view logs

fix(abi): repair the Idris2 proofs and record proof status against the policy

fix(abi): repair the Idris2 proofs and record proof status against the policy #354

Triggered via pull request November 9, 2026 15:42
@hyperpolymathhyperpolymath
synchronize #277
claude/proof-status-reconcile
Status Skipped
Total duration 1s
Artifacts –

bridge-gate.yml

on: pull_request
bridge-gate
bridge-gate
Fit to window
Zoom out
Zoom in