Skip to content
ABI Contract

Chain test truth pass: Ephapax parser gaps are closed, fix dead paths #39

Sign in to view logs

Chain test truth pass: Ephapax parser gaps are closed, fix dead paths

Chain test truth pass: Ephapax parser gaps are closed, fix dead paths #39

Run time

Learn about OS pricing on GitHub Actions
Job Run time
AffineScript ↔ Zig FFI symbols in sync
5s
Idris2 model type-checks
1m 1s
Zig ↔ Idris tables in sync
1m 15s
2m 21s