Skip to content
Lean 4 Build

chore: delete the two dead Zig trees; fix the configs that pointed at them #11

Sign in to view logs

chore: delete the two dead Zig trees; fix the configs that pointed at them

chore: delete the two dead Zig trees; fix the configs that pointed at them #11

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Validate Specifications
4s
Build Documentation
35s
Build and Test Lean 4
20s
Build Zig FFI Bridge
23s
1m 22s