Skip to content
ABI Contract

Close production gap + develop the AffineScript any-game interface #36

Sign in to view logs

Close production gap + develop the AffineScript any-game interface

Close production gap + develop the AffineScript any-game interface #36

Run time

Learn about OS pricing on GitHub Actions
Job Run time
AffineScript ↔ Zig FFI symbols in sync
3s
Zig ↔ Idris tables in sync
17s
Idris2 model type-checks
56s
1m 16s