leanprover-bot

Here are the [benchmark results](http://speedcenter.informatik.kit.edu/velcom/run-detail/7f9b4e3a-228b-4f79-a596-3015815e7001) for commit f722465dc8d5028a4c67da7ee975edc6647f3d74. There were [significant changes](http://speedcenter.informatik.kit.edu/velcom/compare/c9701a4f-96e0-432d-b114-8e9d5265d239/to/7f9b4e3a-228b-4f79-a596-3015815e7001) against commit 860d726d726ebd30a95ff95d192bb8a2fe55e30c: ```diff Benchmark Metric Change ============================== + stdlib size lines C -1% ```

Here are the [benchmark results](http://speedcenter.informatik.kit.edu/velcom/run-detail/5d74ecdf-4590-4057-9526-ab875ca57971) for commit 44eccffd12ecfb1da7c384abc27818e25f10adaa. There were [significant changes](http://speedcenter.informatik.kit.edu/velcom/compare/20d1c443-0ee8-4c86-9d4a-74cfde67e3c3/to/5d74ecdf-4590-4057-9526-ab875ca57971) against commit e400b02a0594510a5a12f46f72a0e8cf190b6b9f: ```diff Benchmark Metric Change ======================================== - qsort task-clock 12% (40.0 σ) - qsort wall-clock 12%...

Here are the [benchmark results](http://speedcenter.informatik.kit.edu/velcom/run-detail/cb721e55-ee47-4623-8e81-2a3966b52751) for commit be81b562ab6117987f0f5c5b2e956d9eba1ca860. There were [significant changes](http://speedcenter.informatik.kit.edu/velcom/compare/dacf847f-5fdc-4391-9ac9-ace562e144e7/to/cb721e55-ee47-4623-8e81-2a3966b52751) against commit fd5f3a5bad48e48ecdfdea22d96c9a13753a9d78: ```diff Benchmark Metric Change =============================================================== - libleanshared.so binary size 3% - rbmap_library maxrss 1% (23.4...

Here are the [benchmark results](http://speedcenter.informatik.kit.edu/velcom/run-detail/d08dceff-6df4-4f59-b3bf-01f13f767846) for commit 2bbdd624dc9c127acdf46c563d5569790350a7c7. There were [significant changes](http://speedcenter.informatik.kit.edu/velcom/compare/c35ca443-2167-4751-8bb9-4783faa87baf/to/d08dceff-6df4-4f59-b3bf-01f13f767846) against commit 828aea48f4a4f4a2e09eb422a1fd94236a3d7b07: ```diff Benchmark Metric Change =================================================== - workspaceSymbols branches 16% (2831.8 σ) - workspaceSymbols instructions 18%...

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/e5f5d40d-5456-4846-b9e2-33c6d3b0cfea) for commit b3998cd8727de70280a0072a5767c3c8e03f0fdc. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/3deafc03-398d-4f81-8248-84978ac4fbeb/to/e5f5d40d-5456-4846-b9e2-33c6d3b0cfea) against commit 92c745e2994217861e83a6e65a6ee286dd6f5cd6: ```diff Benchmark Metric Change ===================================================================== + ~Mathlib.Algebra.Module.PID instructions -5.1% - ~Mathlib.LinearAlgebra.Dimension.Finite instructions 22.3% - ~Mathlib.LinearAlgebra.Dimension.Localization...

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/1762d219-0eaf-4c73-b706-c0ef2ce87280) for commit e2773f52e2940720618099b07f1969c56a3e4430. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/57dcc2f4-fd5c-4f4b-9f3d-9b8a9de328ab/to/1762d219-0eaf-4c73-b706-c0ef2ce87280) against commit 5112b8d86cb2216cc2be2132da26ac33267b8f8c: ```diff Benchmark Metric Change ========================================================================= + ~Mathlib.Geometry.Euclidean.Angle.Oriented.Affine instructions -16.3% ```

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/a5e383b8-b098-40ff-8576-bae1d5515c2f) for commit 7bc2cf3bbe3d2f7d943bfd5b153d0ef2b2807b60.Found no runs to compare against.

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/a4859a2d-acbf-4ce3-8564-2b525256c9cf) for commit f0c2bd445e1781ee9dc08652e12893eecf2beca8. There were [significant changes](http://speed.lean-fro.org/lean4/compare/51f6d1ed-4e77-4831-8502-e52b31a42a3d/to/a4859a2d-acbf-4ce3-8564-2b525256c9cf) against commit ccac989ddab7aa0827c16f355c3cf305aa65fa8a: ```diff Benchmark Metric Change ========================================= + stdlib wall-clock -1.2% (-14.3 σ) ```

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/a18449fd-ff81-402a-ad72-d2cb4b4d432a) for commit daf6fde5b8699898d5d95e52605bbfe415ca8ea5. There were [significant changes](http://speed.lean-fro.org/lean4/compare/45a073d3-21b2-4b13-ab7d-c57ecc4f9113/to/a18449fd-ff81-402a-ad72-d2cb4b4d432a) against commit 6d23450642c637e4c2f37e9501797c42228a87a5: ```diff Benchmark Metric Change ==================================================================== - lake build clean task-clock 26.9% (18.5 σ) - lake...

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/352e1f0b-290f-4c6b-bfec-27759d51b3df) for commit 6ec85ec80241ae5815afbd611b481150603f9948. There were [significant changes](http://speed.lean-fro.org/lean4/compare/4e863a5e-9e6b-4c49-95cb-510a8dddc996/to/352e1f0b-290f-4c6b-bfec-27759d51b3df) against commit d279a4871fa641f9bc423404cf2797fd3c26426e: ```diff Benchmark Metric Change ============================================== - stdlib tactic execution 1.0% (11.7 σ) ```