Commit 2024-12-01 08:03 b8b8a288
View on Github →chore: update benchmark runner for leanprover/lean4#5684 (#19649)
leanprover/lean4#5684 (which landed in v4.14.0-rc3) has removed the --lean flag for lake, indicating that we should use the LEAN environment variable instead.