leanprover-bot

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/e58ffa7e-b23d-4680-a8b4-6511bbc135d0) for commit a08eebd14b5e772fdad4f4d8494e09af73bf1123. There were [significant changes](http://speed.lean-fro.org/lean4/compare/2feefafa-d62e-4aca-b180-a374e2a8fa3f/to/e58ffa7e-b23d-4680-a8b4-6511bbc135d0) against commit 66777670e882edde86379fef6914b2938e93b51f: ```diff Benchmark Metric Change =============================================================== - import Lean branches 1.0% (13.5 σ) - import Lean...

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/1757670a-7500-48eb-9bf1-7f7cd4fabcbd) for commit 68f2d58823efdc429859ed6e1e74e143665d2973. There were [significant changes](http://speed.lean-fro.org/lean4/compare/45c61817-dc11-47f9-b693-6b048e8fa918/to/1757670a-7500-48eb-9bf1-7f7cd4fabcbd) against commit ce73bbe277140201cdb3ad3015c13d01948704b2: ```diff Benchmark Metric Change =============================================================== - import Lean branches 1.1% (14.1 σ) - import Lean...

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/9b40f9dd-d3c6-42d7-a1fa-6147e081956e) for commit cc2630de3aed0ca65424578e6b161c2be455c623. There were [significant changes](http://speed.lean-fro.org/lean4/compare/88c44998-aa24-491e-8d5e-2641f0b81717/to/9b40f9dd-d3c6-42d7-a1fa-6147e081956e) against commit 6a4159c4a792ed2e74f20aecf73974dc3e314e2c: ```diff Benchmark Metric Change =============================================================== - import Lean branches 1.1% (24.1 σ) - import Lean...

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/47a9fb5f-6756-47a0-908d-14cd10794e56) for commit c7f6b4275d744f880306b812c2fa902f1c2896f0. There were [significant changes](http://speed.lean-fro.org/lean4/compare/a899c397-0c77-4867-9139-44b2e20e248c/to/47a9fb5f-6756-47a0-908d-14cd10794e56) against commit 12dc171c4862df0177de4adec56a8f739359719b: ```diff Benchmark Metric Change =========================================== - stdlib type checking 2.3% (11.1 σ) ```

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/f4075d18-0318-4b72-801c-5033797e5938) for commit 70a0ce4f2aa3f823c35c903df43c50b6a192e60e. There were [no significant changes](http://speed.lean-fro.org/lean4/compare/451c16cf-74c5-4d70-b748-2b20c8327a8c/to/f4075d18-0318-4b72-801c-5033797e5938) against commit 605cecdde33e2ae84dec5653af4d8f9bc2649b17.

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/4e7914db-d836-43c3-9000-ccb10d127161) for commit dcc2bd6d6f402a6ecccb2365fce10bfe722b861a. The entire run failed. Found no significant differences.

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/ead3c4ba-ce4c-4601-bf90-a33fe4a81ed8) for commit e347b634e907d8341cf3c1a6f79dba7d2cb7d257. There were [significant changes](http://speed.lean-fro.org/lean4/compare/51bfe316-af6a-485d-8d4f-8a109e65e619/to/ead3c4ba-ce4c-4601-bf90-a33fe4a81ed8) against commit 504b6dc93f46785ccddb8c5ff4a8df5be513d887: ```diff Benchmark Metric Change ========================================================== + import Lean branch-misses -1.8% (-10.0 σ) - stdlib attribute...

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/6d9acb64-bc63-4aa8-973e-afe96f93ddc9) for commit 9be86b5f40360b2260b54a2dba4d7d9e8ffa18db. There were [significant changes](http://speed.lean-fro.org/lean4/compare/1f0df1b1-fc8c-476e-9a9a-6aee49c8eac9/to/6d9acb64-bc63-4aa8-973e-afe96f93ddc9) against commit 903493799dd943193aa019e7df042b1e656203a7: ```diff Benchmark Metric Change =============================================================== - import Lean branches 1.8% (105.8 σ) - import Lean...

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/4e345765-cc4c-467c-80e2-feb0e6d517b3) for commit bd9f2a2bc4e3d978ab307cc3755c04429d159dc7. There were [significant changes](http://speed.lean-fro.org/lean4/compare/bf1a7bd4-3230-4dad-ab43-9dcde7a91ae5/to/4e345765-cc4c-467c-80e2-feb0e6d517b3) against commit 1b2bbe717d1260e337e0cddabef10a6a7e8ff098: ```diff Benchmark Metric Change ============================================================ - binarytrees instructions 3.8% (4764.1 σ) + binarytrees maxrss -6.7%...

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/109fb6ff-5daf-4297-b9f3-f07dae8b6fed) for commit 78c555c726fc84e20288f3369b1cadbe52f4ad40. There were [significant changes](http://speed.lean-fro.org/lean4/compare/bf1a7bd4-3230-4dad-ab43-9dcde7a91ae5/to/109fb6ff-5daf-4297-b9f3-f07dae8b6fed) against commit 1b2bbe717d1260e337e0cddabef10a6a7e8ff098: ```diff Benchmark Metric Change ============================================================== - binarytrees instructions 3.6% (3201.6 σ) + binarytrees maxrss -6.2%...