leanprover-bot

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/d06b419d-0a1e-4c23-9824-1cfa464fea59) for commit 372d333b385501ee4f142e31234c800de3270598. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/f3daf7be-6f54-4484-b486-843e52a5c74a/to/d06b419d-0a1e-4c23-9824-1cfa464fea59) against commit fc157081b3adaa6877bf68c0415d54c0126cf47f: ```diff Benchmark Metric Change ========================================= - build .olean serialization 13.4% - build import 12.4% -...

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/f6a29d28-c637-4284-8094-33dcd60b82a0) for commit 83ffff71cbc13f13ace0b382a26ad01cfc584590. There were [no significant changes](http://speed.lean-fro.org/mathlib4/compare/1ee21d78-3de7-47be-a688-dad1c78e3f63/to/f6a29d28-c637-4284-8094-33dcd60b82a0) against commit 970d241d0868926adcfcc688a4a2b846fe732ea3.

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/9a02952a-4047-4181-b855-8bee174f4457) for commit 4bf37d0a653bdf234bead6e74cba1bc09a139ee5. There were [significant changes](http://speed.lean-fro.org/lean4/compare/551a23ec-484a-47d2-8909-8de31cb9c631/to/9a02952a-4047-4181-b855-8bee174f4457) against commit 5dea30f169b91cdda9a3903a7a9d125e0f075605: ```diff Benchmark Metric Change =============================================== - bv_decide_mul branch-misses 2.9% (16.5 σ) ```

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/afc9650c-9dae-46a4-b7c2-1d3c243030e9) for commit d4808ba9d67c026d0020e4ba59deabf343a810e8. The entire run failed. Found no significant differences.

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/aea9c9fd-5db9-4907-a552-bf586a000416) for commit 5eaf27fa2cbf263fcba0b63ff59d727ddb47223a. There were [significant changes](http://speed.lean-fro.org/lean4/compare/8d0dffbd-6c05-4e50-a81a-3410f204026e/to/aea9c9fd-5db9-4907-a552-bf586a000416) against commit 248864c716e4276da7135de2b624a7b6b198f50c: ```diff Benchmark Metric Change ============================================ - bv_decide_mul task-clock 1.2% (10.7 σ) - bv_decide_mul wall-clock 1.7%...

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/b07e1b73-1c45-4917-9065-41b479f55c6c) for commit f14c278cee90ee289b84eb706e9bf237f41a4dd7. There were [no significant changes](http://speed.lean-fro.org/lean4/compare/8d0dffbd-6c05-4e50-a81a-3410f204026e/to/b07e1b73-1c45-4917-9065-41b479f55c6c) against commit 248864c716e4276da7135de2b624a7b6b198f50c.

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/ec6c9f8c-248f-4bb8-951f-d1511675335d) for commit 235ecbc71781e9fd957408c4a2a189470924bbd7. There were [significant changes](http://speed.lean-fro.org/lean4/compare/938bc4bb-10c7-4b01-ae68-756642754ad6/to/ec6c9f8c-248f-4bb8-951f-d1511675335d) against commit 7c2425605c4c0eba47604c5132bd7617bea02e61: ```diff Benchmark Metric Change ============================================================= + bv_decide_mul branch-misses -2.5% (-11.2 σ) + bv_decide_realworld branch-misses -1.4%...

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/af4bedf6-6212-48ea-81ff-c16897171bab) for commit 5a0249e745adcee23861e58f14a1a4ea05f2d34d. There were [significant changes](http://speed.lean-fro.org/lean4/compare/d106f10b-a632-4025-9ce5-60e6c0e1f3af/to/af4bedf6-6212-48ea-81ff-c16897171bab) against commit 9847923f9be5de968f10ed7c7493e3ca0072abce: ```diff Benchmark Metric Change =================================================== + stdlib instantiate metavars -5.7% (-10.4 σ) ```

Here are the [benchmark results](https://speed.lean-lang.org/lean4/run-detail/98b4b342-9327-4318-8c25-769051603b55) for commit 9c75dfa1d657e96e24da106bca39b448a96557ea. There were [significant changes](https://speed.lean-lang.org/lean4/compare/8f0c0153-4804-49b9-b96f-8d9ebe511056/to/98b4b342-9327-4318-8c25-769051603b55) against commit db499e96aac8ad654c8ed5ab40c4e6885d38c9a1: ```diff Benchmark Metric Change ================================================ + nat_repr task-clock -12.7% (-27.4 σ) + nat_repr wall-clock -12.7%...

Here are the [benchmark results](https://speed.lean-lang.org/lean4/run-detail/f60c5239-8665-4bec-a743-b44cc75ec85b) for commit 6f6c053f402f650e2f826b6db8eed946044c9c1c. There were [significant changes](https://speed.lean-lang.org/lean4/compare/8885fd4a-00ac-476a-bf43-1aeccb2ee13d/to/f60c5239-8665-4bec-a743-b44cc75ec85b) against commit d3dda9f6d4428a906c096067ecb75e432afc4615: ```diff Benchmark Metric Change ================================================= - stdlib grind 1.0% (24.9 σ) - stdlib grind canon...