Skip to content
Lean 4 Build

test: make the suites capable of failing — and fix the 19 lexer defec… #16

Sign in to view logs

test: make the suites capable of failing — and fix the 19 lexer defec…

test: make the suites capable of failing — and fix the 19 lexer defec… #16

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build Documentation
1m 7s
Validate Specifications
7s
Build Zig FFI Bridge
15s
Build and Test Lean 4
41s
2m 10s