Skip to content
ABI Contract

fix(ci): install Zig from a pinned, verified tarball — replaces non-a… #129

Sign in to view logs

fix(ci): install Zig from a pinned, verified tarball — replaces non-a…

fix(ci): install Zig from a pinned, verified tarball — replaces non-a… #129

Run time

Learn about OS pricing on GitHub Actions
Job Run time
AffineScript ↔ Zig FFI symbols in sync
6s
Zig ↔ Idris tables in sync
1m 34s
Idris2 model type-checks
2m 11s
3m 51s