leanprover-bot

Here are the [benchmark results](https://speed.lean-lang.org/lean4/run-detail/9704e35c-863b-4e67-901d-f8097af64a92) for commit 39bdfc697af8fddeaa3641cdb25055d71f5633e6. There were [significant changes](https://speed.lean-lang.org/lean4/compare/0f7fbf1a-62b4-4abd-8d14-98814e8fa99d/to/9704e35c-863b-4e67-901d-f8097af64a92) against commit 9fc18b8ab462cb9100d37a23814ebbac330e8577: ```diff Benchmark Metric Change =========================================================== + big_beq_rec branch-misses -3.4% (-57.5 σ) + big_beq_rec branches -3.1%...

Here are the [benchmark results](https://speed.lean-lang.org/lean4/run-detail/0892cf20-86d3-4fdb-8a53-55355b2418ae) for commit a99a15391c27dcdb4ed7dc609fc211ec6006e071. There were [significant changes](https://speed.lean-lang.org/lean4/compare/0f7fbf1a-62b4-4abd-8d14-98814e8fa99d/to/0892cf20-86d3-4fdb-8a53-55355b2418ae) against commit 9fc18b8ab462cb9100d37a23814ebbac330e8577: ```diff Benchmark Metric Change ======================================================================= + Std.Data.Internal.List.Associative branch-misses -2.5% (-32.4 σ) + big_beq_rec branch-misses -4.0%...

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

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

Reference manual CI status: - ❗ Reference manual CI will not be attempted unless your PR branches off the `nightly-with-manual` branch. Try `git rebase e39894e62d363322fa18af76e12e54799496e2c0 --onto d3dda9f6d4428a906c096067ecb75e432afc4615`. You can force...

Reference manual CI status: - ❗ Reference manual CI will not be attempted unless your PR branches off the `nightly-with-manual` branch. Try `git rebase 9fc90488ce239cfe8e4317269d37fe4160787d0d --onto d3dda9f6d4428a906c096067ecb75e432afc4615`. You can force...

Reference manual CI status: - ❗ Reference manual CI will not be attempted unless your PR branches off the `nightly-with-manual` branch. Try `git rebase c0d5b9b52c31c181db0902b4cc107459f9df6563 --onto d3dda9f6d4428a906c096067ecb75e432afc4615`. You can force...

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

Reference manual CI status: - ❗ Reference manual CI will not be attempted unless your PR branches off the `nightly-with-manual` branch. Try `git rebase 20b0bd0a2018295db19d3dabb5905841fd16a679 --onto d3dda9f6d4428a906c096067ecb75e432afc4615`. You can force...

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