Skip to content
ABI Contract

Hardening phases 4–8: behavioral tests, config cleanup + YAML, CLI, c… #23

Sign in to view logs

Hardening phases 4–8: behavioral tests, config cleanup + YAML, CLI, c…

Hardening phases 4–8: behavioral tests, config cleanup + YAML, CLI, c… #23

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Zig ↔ Idris tables in sync
1m 18s
Idris2 model type-checks
58s
2m 16s