leanprover-bot

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/6e683275-dc27-4567-b516-234f70b94324) for commit a2cce26ca944b07123ad4b1fbd2e9217ce39bdef. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/ef398ed4-b9b9-444c-836d-f198518bf3dc/to/6e683275-dc27-4567-b516-234f70b94324) against commit 6edd89be4f4a80075979c5f8edcb4d9d7d7030fd: ```diff Benchmark Metric Change ================================================================================== + ~Mathlib.Algebra.Category.ModuleCat.Basic instructions -34.7% + ~Mathlib.Algebra.Category.ModuleCat.ChangeOfRings instructions -7.6% + ~Mathlib.Algebra.Homology.Bifunctor...

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/57841e6f-10e3-4423-9640-a15b2f091a5b) for commit ee8fec761e6eaec871f5adc5f32fbf24bb5aa177. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/4ca33aa5-bc73-4b61-a241-5ccfbf015c0e/to/57841e6f-10e3-4423-9640-a15b2f091a5b) against commit ce4bfeec5e50bb4cac5251e8cb6c5fb99c064e93: ```diff Benchmark Metric Change ======================================================================================================== + build linting -6.0% + build task-clock -6.0% + build...

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/2ca0e372-8dc9-4a10-9b39-ab552579b166) for commit c6b57e963c89481d25175c5d633025b9fbaf1375. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/4ca33aa5-bc73-4b61-a241-5ccfbf015c0e/to/2ca0e372-8dc9-4a10-9b39-ab552579b166) against commit ce4bfeec5e50bb4cac5251e8cb6c5fb99c064e93: ```diff Benchmark Metric Change ======================================================================================================== + build task-clock -5.3% + build typeclass inference -16.8% +...

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/283ffdd7-7b1d-4cdf-8e4c-077749ee101f) for commit 9c70cea4a1f565ce854d256660cc093e9afb1898. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/4ca33aa5-bc73-4b61-a241-5ccfbf015c0e/to/283ffdd7-7b1d-4cdf-8e4c-077749ee101f) against commit ce4bfeec5e50bb4cac5251e8cb6c5fb99c064e93: ```diff Benchmark Metric Change ====================================================================== + ~Mathlib.Analysis.Convex.Function instructions -15.7% + ~Mathlib.CategoryTheory.Bicategory.Adjunction instructions -15.2% + ~Mathlib.CategoryTheory.Limits.Shapes.Diagonal...

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/2a5703f5-6fda-4e45-b4bb-8bd9fcc38adf) for commit 1da642dd126dfeade23a2e61c00a9e895ac19ea2. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/4ca33aa5-bc73-4b61-a241-5ccfbf015c0e/to/2a5703f5-6fda-4e45-b4bb-8bd9fcc38adf) against commit ce4bfeec5e50bb4cac5251e8cb6c5fb99c064e93: ```diff Benchmark Metric Change ======================================================================================================== + build instructions -5.1% + build task-clock -5.5% + build...

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/5e4ac137-05d3-4baf-a3f4-cebe389f1724) for commit 19e89728de7de4194b5abc82e7e2c7ec79f91521. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/4ca33aa5-bc73-4b61-a241-5ccfbf015c0e/to/5e4ac137-05d3-4baf-a3f4-cebe389f1724) against commit ce4bfeec5e50bb4cac5251e8cb6c5fb99c064e93: ```diff Benchmark Metric Change ======================================================================================================== + build instructions -5.1% + build task-clock -5.4% + build...

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/b9755ebd-13fd-45cc-8d4a-153f9e5fcc44) for commit fa6377ad55d15fbb165437cc74d6ae552b0ff9c6. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/4ca33aa5-bc73-4b61-a241-5ccfbf015c0e/to/b9755ebd-13fd-45cc-8d4a-153f9e5fcc44) against commit ce4bfeec5e50bb4cac5251e8cb6c5fb99c064e93: ```diff Benchmark Metric Change ======================================================================================================== + build instructions -5.1% + build task-clock -6.2% + build...

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/6c6bf01b-d0a7-4777-aa92-dd9f6f51819c) for commit fcef64eb535f8f9bf96b6c4931684255c3902967. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/4ca33aa5-bc73-4b61-a241-5ccfbf015c0e/to/6c6bf01b-d0a7-4777-aa92-dd9f6f51819c) against commit ce4bfeec5e50bb4cac5251e8cb6c5fb99c064e93: ```diff Benchmark Metric Change ======================================================================================================== + build instructions -5.1% + build typeclass inference -15.3% +...

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/ab052f69-f6c9-4966-ac54-d17b3a74a099) for commit 41e7240089c9732628e25ee65ca6ed906e74cbdf. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/4ca33aa5-bc73-4b61-a241-5ccfbf015c0e/to/ab052f69-f6c9-4966-ac54-d17b3a74a099) against commit ce4bfeec5e50bb4cac5251e8cb6c5fb99c064e93: ```diff Benchmark Metric Change ======================================================================================================== + build instructions -5.0% + build task-clock -5.1% + build...

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/a3b74fdf-2290-4919-a571-1365e0a9ebbc) for commit 4c58a5cf682bfac8bc496fec97eb2b4955acd594. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/4ca33aa5-bc73-4b61-a241-5ccfbf015c0e/to/a3b74fdf-2290-4919-a571-1365e0a9ebbc) against commit ce4bfeec5e50bb4cac5251e8cb6c5fb99c064e93: ```diff Benchmark Metric Change ======================================================================================================== + build task-clock -5.2% + build typeclass inference -15.2% +...