leanprover-bot

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/cd6a502c-2d1e-41aa-b171-3725263f93a4) for commit 959fa55645dd7b25174bba112b44c19e4faa61ba. There were [no significant changes](http://speed.lean-fro.org/lean4/compare/8047096b-a77d-4f23-819d-62c593787fc4/to/cd6a502c-2d1e-41aa-b171-3725263f93a4) against commit 6af7a01af643e82e1deeb6b7523b8099d177b159.

Here are the [benchmark results](http://speedcenter.informatik.kit.edu/velcom/run-detail/dadd88f7-f336-4b3a-b13d-0fe9e04d1a86) for commit 6cdf707193b1dc637570ae141fd0eabf944cc5fc. There were [significant changes](http://speedcenter.informatik.kit.edu/velcom/compare/fd4f06d4-f32f-4302-beac-e50022b43a68/to/dadd88f7-f336-4b3a-b13d-0fe9e04d1a86) against commit 345aa6f835aa6ab1c31180281b18e3b80b7d173a: ```diff Benchmark Metric Change =================================================== - binarytrees task-clock 3.9% (10.5 σ) - stdlib instructions 2.1%...

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/3f60ff46-62fe-4711-9d3c-922c7772baeb) for commit 19a9de41505364f54e6cdec6cd4f2bfbee1c4a87. There were [no significant changes](http://speed.lean-fro.org/lean4/compare/8d59f523-3069-4db8-80e5-292d1fac8cc1/to/3f60ff46-62fe-4711-9d3c-922c7772baeb) against commit 49f41a6224a489793eb9a75ac3626d1f5049a06f.

Here are the [benchmark results](http://speedcenter.informatik.kit.edu/velcom/run-detail/160914a7-5615-4960-b927-41b62367b587) for commit 8b214965654397d4f62d2b6f62ebd49c0a8c127d. There were [significant changes](http://speedcenter.informatik.kit.edu/velcom/compare/fd4f06d4-f32f-4302-beac-e50022b43a68/to/160914a7-5615-4960-b927-41b62367b587) against commit 345aa6f835aa6ab1c31180281b18e3b80b7d173a: ```diff Benchmark Metric Change ==================================================== + qsort task-clock -1.4% (-17.5 σ) + qsort wall-clock -1.4%...

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/4a1f81f0-b4ff-4dc4-bf0c-a1cbd5014a20) for commit 93e8169a10b54ddfc6fda1cefcfdf5768a7fd597. There were [no significant changes](http://speed.lean-fro.org/lean4/compare/d7e1ba76-afec-49df-975c-fa6cea9b25e3/to/4a1f81f0-b4ff-4dc4-bf0c-a1cbd5014a20) against commit ae492265fec103aa834d897bf9f68c94d10f0785.

Here are the [benchmark results](http://speedcenter.informatik.kit.edu/velcom/run-detail/7c502d41-f00a-4fdd-a5e0-65b1f541d38a) for commit 1650f946bcfc4fca991451f8a082b9c913cb042d. There were [significant changes](http://speedcenter.informatik.kit.edu/velcom/compare/52a8debb-199e-479e-bc8a-203db072d7fa/to/7c502d41-f00a-4fdd-a5e0-65b1f541d38a) against commit bb8cc08de85f3daf67c6fb3feda245681c4b56fd: ```diff Benchmark Metric Change ======================================================= + stdlib tactic execution -2.8% (-483.8 σ) + workspaceSymbols branch-misses...

Here are the [benchmark results](http://speedcenter.informatik.kit.edu/velcom/run-detail/03dc3e97-f7d5-4d75-bc96-5e66b14ba639) for commit a1138ef1d0a874439f3fb44d3142c0472eb2ce32. There were [significant changes](http://speedcenter.informatik.kit.edu/velcom/compare/a9087cb9-36d0-42c5-bc6f-e565a267a6da/to/03dc3e97-f7d5-4d75-bc96-5e66b14ba639) against commit bb738796ae13e1fff6dec921b1a26dae3a040498: ```diff Benchmark Metric Change =========================================== - parser branches 1.8% (197.6 σ) - parser instructions 1.9%...

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/cd14b680-f6a1-400c-9a22-974796314c50) for commit 1fa937db4e543546eb648901c4f08fe9cb558987. There were [significant changes](http://speed.lean-fro.org/lean4/compare/8f6a1016-55a0-4be7-9587-3e1003296368/to/cd14b680-f6a1-400c-9a22-974796314c50) against commit d3e004932c1f5ac3946850692940512d381c7634: ```diff Benchmark Metric Change ==================================================== + stdlib attribute application -1.4% (-14.5 σ) ```

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/2fadca03-a7b7-4d74-ad7e-9a31b5a6c537) for commit ff000038b3b479adb703d7ca80140505aeb7cb44.Found no runs to compare against.

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/85594bea-c1cd-4e70-92df-bd187787c382) for commit 3345a74ad16149dfa57320ca041b1582e095b1ae. There were [significant changes](http://speed.lean-fro.org/lean4/compare/2feefafa-d62e-4aca-b180-a374e2a8fa3f/to/85594bea-c1cd-4e70-92df-bd187787c382) against commit 66777670e882edde86379fef6914b2938e93b51f: ```diff Benchmark Metric Change ==================================================================== - import Lean branches 1.0% (14.3 σ) - import Lean...