Skip to content
Proof Gate

Expand glossary with architecture and technology terms #19

Sign in to view logs

Expand glossary with architecture and technology terms

Expand glossary with architecture and technology terms #19

Triggered via pull request August 17, 2026 19:55
@hyperpolymathhyperpolymath
synchronize #47
hyperpolymath-patch-3
Status Success
Total duration 55s
Artifacts –

proof-gate.yml

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