leanprover-bot

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/c08cbc1f-1959-4c21-881c-f450b772194d) for commit 336a2f71e167150b8e59a9c0813d4d99bc8d1158. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/6d1ea35d-c221-438c-a5e8-97caebb94244/to/c08cbc1f-1959-4c21-881c-f450b772194d) against commit 9f012931d33003deda3b46137791fbfa457adb3e: ```diff Benchmark Metric Change ============================================================================ + ~Mathlib.AlgebraicGeometry.Gluing instructions -25.5% + ~Mathlib.AlgebraicGeometry.Morphisms.QuasiSeparated instructions -7.3% + ~Mathlib.Geometry.RingedSpace.PresheafedSpace.Gluing...

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/ba1745c3-a7b4-4c7b-9fb7-a30616cc24fe) for commit e8981f68836d1fda671b6b3923c58662edd004e9. The entire run failed. Found no significant differences.

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/48811fe7-1961-4179-8bde-6155e2cb7627) for commit d565cc5581221e1b6c00ef920c53f172f74517df. There were [significant changes](http://speed.lean-fro.org/lean4/compare/3d61b646-7472-455b-acd6-c70843266b14/to/48811fe7-1961-4179-8bde-6155e2cb7627) against commit b0c1112471a3f38859d9738184d21132b7d9cd0c: ```diff Benchmark Metric Change ============================================== - parser instructions 20.1% (13154.3 σ) - parser task-clock 26.7%...

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/467df683-fe23-4de2-a05e-7a5ddc1d2eb3) for commit f405eb453f1c236a3943cd136c33cd402e404bf9. There were [no significant changes](http://speed.lean-fro.org/lean4/compare/3ca22103-d8bd-4010-a1e0-e04d45a2385c/to/467df683-fe23-4de2-a05e-7a5ddc1d2eb3) against commit d988849ce31462fe7548a876a0317e8deaaeff6e.

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/3f19f0c2-b001-4d95-b0e8-7fcbd7e1f1e4) for commit 3fd79467f9be39edf231d52f27d51420d07cfcf5. The entire run failed. Found no significant differences.

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/75cf283d-1b04-442f-8cd5-6190be016d49) for commit dc1fbe8e4bd16625a41b90bd1d284fef25375098. There were [significant changes](http://speed.lean-fro.org/lean4/compare/df9cc168-cb08-46e6-abc2-21e568ed458c/to/75cf283d-1b04-442f-8cd5-6190be016d49) against commit 3035d2f8f689b52963f49b2414414913ca296953: ```diff Benchmark Metric Change =========================================================== + lake config elab instructions -4.2% (-308.2 σ) + stdlib...

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/9c190201-4ade-466f-9523-4b60db60fe43) for commit f3a4c59f63b43269272a68a57f93186d07532e23. The entire run failed. Found no significant differences.

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/bd9f98d7-bf93-4a4a-9eef-9e7f8096c6e0) for commit eb2db38326bea5bb63d00807886cfe3a5d1bd48f. The entire run failed. Found no significant differences.

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/1726f3c7-9ae9-4095-884d-201f632a2583) for commit dccc632b90e8621d87bb8230a0b2f429849366c3. There were [significant changes](http://speed.lean-fro.org/lean4/compare/4b668e75-be53-43b1-884d-8a1056344b5c/to/1726f3c7-9ae9-4095-884d-201f632a2583) against commit 7db8e6482e1dc46fd1070b3bf549112f02a4c05e: ```diff Benchmark Metric Change ==================================== - stdlib dsimp 2.5% (83.2 σ) ```

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/cefa112d-3ede-49a8-8162-cd4ce92313c0) for commit 9201f1e545b55d209b241c8808a5c47da76bd893. There were [no significant changes](http://speed.lean-fro.org/mathlib4/compare/658dd635-db6c-4cf1-9619-651d25cc104f/to/cefa112d-3ede-49a8-8162-cd4ce92313c0) against commit 4d0428ba5998dacfc296847343a8d237674182e5.