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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
idris2 --check (ABI proof modules)
35s
35s