leanprover-bot

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/af59ab67-cdca-4f83-8d04-1d965a909b94) for commit 88cad9a33495173f56f41b79db791d4bea1f8470. There were [significant changes](http://speed.lean-fro.org/lean4/compare/d80ecfdc-9270-4498-9ce0-3c70079c5c4e/to/af59ab67-cdca-4f83-8d04-1d965a909b94) against commit 62cdb51ed5b9d8487877d5a4adbcd4659d81fc6a: ```diff Benchmark Metric Change ================================================ + stdlib tactic execution -1.9% (-302.2 σ) ```

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/dda913be-606d-4b4c-824d-c29e83f50192) for commit a25f4b4cf9d4f1af5573608413a2188019cc559f. There were [no significant changes](http://speed.lean-fro.org/lean4/compare/a4f13833-2a98-4234-a701-5299fc625f45/to/dda913be-606d-4b4c-824d-c29e83f50192) against commit 287d46e1f6a7a6136c7996367a9b203d93797d00.

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/5a5fd5c9-394e-4c08-9e9c-748eb5907fee) for commit 8186e4674adb99a0cfba583406b9c80333b95e17. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/f6324cf0-060f-4ec0-914d-2a256e8fad33/to/5a5fd5c9-394e-4c08-9e9c-748eb5907fee) against commit b5b8fe5fa963f36940408c9ddeb042a2053015d1: ```diff Benchmark Metric Change =============================================================================================== + build typeclass inference -8.3% + ~Mathlib.Algebra.Algebra.NonUnitalSubalgebra instructions -7.4% +...

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/be2a8084-6743-4067-9d84-c9b6e5b92384) for commit 9cb4b9c11406621ebd51a04fa8ea4574df8fcc15. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/f6324cf0-060f-4ec0-914d-2a256e8fad33/to/be2a8084-6743-4067-9d84-c9b6e5b92384) against commit b5b8fe5fa963f36940408c9ddeb042a2053015d1: ```diff Benchmark Metric Change =============================================================================================== + build typeclass inference -9.1% + ~Mathlib.Algebra.Algebra.NonUnitalSubalgebra instructions -7.4% +...

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/72df5316-31cc-4c76-b571-906f13c0dcce) for commit e909ecb0df49c3c96c769b4bf702a3d6084d240e.Found no runs to compare against.

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/4e54b539-3294-4452-88ae-6a8789a65f82) for commit 9681402caf32c1b0af2884db81b2bf890fd86a59. There were [no significant changes](http://speed.lean-fro.org/mathlib4/compare/b42b2dd1-a60e-4085-aeb8-f591cb470745/to/4e54b539-3294-4452-88ae-6a8789a65f82) against commit 712ef83de510992c182a0fcf289ab2a2e496ac28.

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/0b02ab55-cbd9-45ba-aeb9-155b7043b86d) for commit 4d2038b9e19ec9c7ad965b0c935db91a57b8fd0a. The entire run failed. Found no significant differences.

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/0b02ab55-cbd9-45ba-aeb9-155b7043b86d) for commit 4d2038b9e19ec9c7ad965b0c935db91a57b8fd0a. The entire run failed. Found no significant differences.

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/10c5ac40-335b-4792-a486-cc52d1522c86) for commit 2495ed9a758cae65f4b3514241e65cda09528b73. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/89ad274a-64b9-4b25-9d60-12b194cb3b83/to/10c5ac40-335b-4792-a486-cc52d1522c86) against commit 92bfd3b2326aa002705452daf19026ecf3a30ead: ```diff Benchmark Metric Change =========================================================== + open Mathlib wall-clock -7.2% - ~Mathlib.Probability.Kernel.Condexp instructions 71.3% -...

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/525f082f-cb38-46f8-9cbb-c3cb98585f62) for commit 7790f3d4f50984096a66cf555ed5232c16b0b84d. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/89ad274a-64b9-4b25-9d60-12b194cb3b83/to/525f082f-cb38-46f8-9cbb-c3cb98585f62) against commit 92bfd3b2326aa002705452daf19026ecf3a30ead: ```diff Benchmark Metric Change =========================================================== + build wall-clock -5.5% + open Mathlib wall-clock -7.9% +...