Skip to content

Bump Lean to v4.15.0 and fix some issues #1700

Bump Lean to v4.15.0 and fix some issues

Bump Lean to v4.15.0 and fix some issues #1700

lean

succeeded Jan 17, 2025 in 15m 58s
Set up job
1s
Set up runner
1s
Run actions/checkout@v4
1s
Run nix develop --command bash -c "cd tests/lean && make"
15m 55s
Post Run actions/checkout@v4
0s
Complete runner
0s
Complete job
0s