Skip to content
bridge-gate

fix(abi): type-check the Idris2 proofs in CI and re-prove line-comment stripping #359

Sign in to view logs

fix(abi): type-check the Idris2 proofs in CI and re-prove line-comment stripping

fix(abi): type-check the Idris2 proofs in CI and re-prove line-comment stripping #359

Triggered via pull request November 9, 2026 22:49
@hyperpolymathhyperpolymath
synchronize #281
claude/gallant-bell-4bo4oy-n-idris-abi-ci
Status Skipped
Total duration 1s
Artifacts –

bridge-gate.yml

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