Skip to content
Proven Tests

feat(publish): prototype generation-directory publish (not wired), with experiments and a model check #158

Sign in to view logs

feat(publish): prototype generation-directory publish (not wired), with experiments and a model check

feat(publish): prototype generation-directory publish (not wired), with experiments and a model check #158

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Idris2 ABI proofs type-check
8m 45s
Ledger — coverage derived from executed tests
3m 25s
Framework — the grader is exercised (scheduled)
0s
12m 10s