leanprover-bot

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/d7caef26-6915-47fd-bd15-50a645d5d387) for commit 68e032402076a2d1ea897018668d2ec8ef52e2c9. There were [no significant changes](http://speed.lean-fro.org/lean4/compare/bed8a454-8cfc-4371-932b-4f663060cce1/to/d7caef26-6915-47fd-bd15-50a645d5d387) against commit 3e79ddda27c299a0e66fc996d52fa15fcf4421d8.

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/d6131d13-2396-4d42-be06-ccea4ba02f4d) for commit 89dce3e2aff118683c89ef948cfc1d7b454ac276. There were [no significant changes](http://speed.lean-fro.org/lean4/compare/bed8a454-8cfc-4371-932b-4f663060cce1/to/d6131d13-2396-4d42-be06-ccea4ba02f4d) against commit 3e79ddda27c299a0e66fc996d52fa15fcf4421d8.

Reference manual CI status: - ❗ Reference manual CI can not be attempted yet, as the `nightly-testing-2025-07-07` tag does not exist there yet. We will retry when you push more...

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/e2103bf8-68c4-4b92-99cc-884cacf4a2df) for commit d1dd4b911b3a34645d823a6d3bfefa0e15eb83e3. There were [significant changes](http://speed.lean-fro.org/lean4/compare/62ec5a3f-94d1-4b2e-a226-b38ad7b3bca1/to/e2103bf8-68c4-4b92-99cc-884cacf4a2df) against commit f76a17b33f85d714ea33d37e8975a02382abb28c: ```diff Benchmark Metric Change ==================================================== + tests/bench/ interpreted maxrss -1.1% (-11.5 σ) ```