leanprover-bot

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/52a310a6-2f39-4874-a58f-43a609f3a958) for commit 017909ab68486de259fcf331ee8fe64b8d70f07b.Found no runs to compare against.

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/eafe6900-5631-437f-abd4-29cc0ac5cde6) for commit cf8534fd94b10dfc10315179593d79dbaf92cfbb. There were [no significant changes](http://speed.lean-fro.org/mathlib4/compare/b08bf52f-4ed9-4490-be87-c903d808bb11/to/eafe6900-5631-437f-abd4-29cc0ac5cde6) against commit aea6f296a35d3b88812a1b424543e1da53822850.

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/ad36af4f-b3da-4c92-bec7-1c7bc8841bff) for commit 5deb987a91935b7113b152f313d1b23c43332fca. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/c7c211a2-6d1e-4f0d-8696-1b38822992a6/to/ad36af4f-b3da-4c92-bec7-1c7bc8841bff) against commit 9c47f211ae5ce5b4778d963e30d433dfb96eb390: ```diff Benchmark Metric Change ========================================================= - ~Mathlib.AlgebraicGeometry.Limits instructions 80.1% ```

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/cac4b76a-8f54-4389-80ed-b98e51f59b00) for commit f8938e93976da25c351c96ffb047f6629b7b50f6. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/c7c211a2-6d1e-4f0d-8696-1b38822992a6/to/cac4b76a-8f54-4389-80ed-b98e51f59b00) against commit 9c47f211ae5ce5b4778d963e30d433dfb96eb390: ```diff Benchmark Metric Change ========================================================= - ~Mathlib.AlgebraicGeometry.Limits instructions 45.2% ```

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/7294f9cb-d617-4e18-98cb-e3d6ee0944f5) for commit 096443bc5eb5cbb6c47128a9f85b977fae4b5dcf. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/c7c211a2-6d1e-4f0d-8696-1b38822992a6/to/7294f9cb-d617-4e18-98cb-e3d6ee0944f5) against commit 9c47f211ae5ce5b4778d963e30d433dfb96eb390: ```diff Benchmark Metric Change ========================================================= - ~Mathlib.AlgebraicGeometry.Limits instructions 39.6% ```

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/36e615c2-acc2-4169-a20b-78f97aa7cfd9) for commit 24700a44cc5105d4d63f0d4d17910de09d2b78be. There were [no significant changes](http://speed.lean-fro.org/mathlib4/compare/bc81afa8-e8a5-41b4-aaf7-271a276c4cf2/to/36e615c2-acc2-4169-a20b-78f97aa7cfd9) against commit d2e8846f9bb14855a6d84e36552bc60e38bab88f.

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/69317158-4fe8-4d04-b6bb-93c30e90ed55) for commit 6605fdf416c00f0c10ffadb1886226300529b334. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/4d90019a-db38-46b9-9878-df47105cb4b3/to/69317158-4fe8-4d04-b6bb-93c30e90ed55) against commit 3ad5ad62a8cd2a2b15e5eab29faba5f294bcdc7d: ```diff Benchmark Metric Change =============================================================================== - ~Mathlib.CategoryTheory.Functor.KanExtension.Adjunction instructions 85.5% - ~Mathlib.CategoryTheory.Functor.KanExtension.Pointwise instructions 88.7% + ~Mathlib.CategoryTheory.Limits.KanExtension...

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/278feef8-6e7e-4606-9174-06a21ad0a7c0) for commit db50785afb30f7576034de1d7a3749b26caa9b65.Found no runs to compare against.

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/034383cc-7971-483c-9777-8bec48632239) for commit 1bc507c7c90614e0cb317c75bfe4e1fa11adb696. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/6fc662e9-931e-4e2d-b5a1-869a4e443f9e/to/034383cc-7971-483c-9777-8bec48632239) against commit d50eac5610440ba3d59f8a4779889ba4ececb1af: ```diff Benchmark Metric Change ================================================================================== + ~Mathlib.Algebra.Category.ModuleCat.Adjunctions instructions -31.3% + ~Mathlib.Algebra.Homology.BifunctorShift instructions -25.8% + ~Mathlib.Algebra.Homology.HomotopyCategory.DegreewiseSplit...

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/1a692213-5a84-40ff-b2a7-7f32e5a01ec0) for commit 8500e0cf8c57ce50be1e0d9e0d1d902258cdca99. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/6fc662e9-931e-4e2d-b5a1-869a4e443f9e/to/1a692213-5a84-40ff-b2a7-7f32e5a01ec0) against commit d50eac5610440ba3d59f8a4779889ba4ececb1af: ```diff Benchmark Metric Change ================================================================================== + ~Mathlib.Algebra.Category.ModuleCat.Adjunctions instructions -31.3% + ~Mathlib.Algebra.Homology.BifunctorShift instructions -25.8% + ~Mathlib.Algebra.Homology.HomotopyCategory.DegreewiseSplit...