Skip to content
bridge-gate

ci(abi): gate the Idris2 proofs on every PR, with module-shaped paths #355

Sign in to view logs

ci(abi): gate the Idris2 proofs on every PR, with module-shaped paths

ci(abi): gate the Idris2 proofs on every PR, with module-shaped paths #355

Triggered via pull request November 9, 2026 15:42
@hyperpolymathhyperpolymath
synchronize #279
claude/abi-idris2-gate
Status Skipped
Total duration 9s
Artifacts –

bridge-gate.yml

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