Skip to content
Proof Gate

refactor: migrate Markdown to AsciiDoc (#50) #27

Sign in to view logs

refactor: migrate Markdown to AsciiDoc (#50)

refactor: migrate Markdown to AsciiDoc (#50) #27

Triggered via push August 24, 2026 07:50
@hyperpolymathhyperpolymath
pushed 615a312
main
Status Failure
Total duration 58m 44s
Artifacts –

proof-gate.yml

on: push
idris2 --check (ABI proof modules)
4s
idris2 --check (ABI proof modules)
Fit to window
Zoom out
Zoom in

Annotations

1 error
idris2 --check (ABI proof modules)
Process completed with exit code 127.