Lean 4 Build

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build Zig FFI Bridge	22s
Build and Test Lean 4	21s
Validate Specifications	4s
Build Documentation	39s
	1m 26s