Skip to content
Lean 4 Build

test: make the suites capable of failing — and fix the 19 lexer defects that exposed #14

Sign in to view logs

test: make the suites capable of failing — and fix the 19 lexer defects that exposed

test: make the suites capable of failing — and fix the 19 lexer defects that exposed #14

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Validate Specifications
6s
Build Documentation
42s
Build and Test Lean 4
30s
Build Zig FFI Bridge
19s
1m 37s