Commit 2024-12-01 13:50 9d16cdd2
View on Github →chore: update benchmark runner for leanprover/lean4#5684 (#19656) Trying again, this time using [#18354](https://github.com/leanprover-community/mathlib4/pull/18354).
chore: update benchmark runner for leanprover/lean4#5684 (#19656) Trying again, this time using [#18354](https://github.com/leanprover-community/mathlib4/pull/18354).