Skip to content
ABI Contract

fix: the Hypatia gate could never fire — 2>&1 made it unconditionally vacuous #95

Sign in to view logs

fix: the Hypatia gate could never fire — 2>&1 made it unconditionally vacuous

fix: the Hypatia gate could never fire — 2>&1 made it unconditionally vacuous #95

Run time

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