leanprover-bot

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/003ce9ab-5ba3-4e21-a566-11a9e88bcbee) for commit fea856fdba2eaa624916afa8611ee0493e694001. The entire run failed. Found no significant differences.

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/cc2ee139-7c65-49df-9766-cea818b26c34) for commit 83c41915e1d0bd5603f23bdd11c268338e2b7a22. The entire run failed. Found no significant differences.

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/fdc532e8-af5e-4389-a9d9-55ae338484e4) for commit 678b68b12f96cc94afb870c499f26e99ec2e091f. The entire run failed. Found no significant differences.

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/3a9fba82-ca84-4c68-99c1-1f9af7355bed) for commit 5e620ae419bc239d2bb10b17f87fe918c918487e.Found no runs to compare against.

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/eee7c42d-8e28-45e9-bfa1-01bcec1c203a) for commit 8b01daa371e7baa30a69c3cfeae0d1fa619bfffb. The entire run failed. Found no runs to compare against.

Here are the [benchmark results](http://speed.lean-fro.org/lean4/run-detail/6ae6601e-47ad-4b4c-8fd4-85a30c9b9c42) for commit fafd028e5c3d7fe1ad0128688a355af312487fbc. There were [no significant changes](http://speed.lean-fro.org/lean4/compare/1066a8a6-b119-4e07-a8b5-4d179fda1b54/to/6ae6601e-47ad-4b4c-8fd4-85a30c9b9c42) against commit 0700925bbeb86c7b883719a82241595f5f905e5c.

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/9b302f73-4871-4835-9ff0-ba06ec11749c) for commit e52dca80ba64e35bbd376e8245cc346113182975. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/085617c2-563e-4005-89ed-b1f7e5fddfbe/to/9b302f73-4871-4835-9ff0-ba06ec11749c) against commit 17a95d6c8cfe5a6dec779187375268505245c934: ```diff Benchmark Metric Change ==================================================================== - ~Mathlib.Algebra.Order.Field.Basic instructions 22.2% + ~Mathlib.Algebra.Order.Group.Defs instructions -78.6% + ~Mathlib.Algebra.Order.Ring.Defs...

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/7057b501-1c10-46a9-85d5-4c7793b5f1eb) for commit 1060fe4319f3b5729e4ba1445e0a9c3362973c6e. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/60934f5f-892a-4ce8-9e7b-7c9b8b417062/to/7057b501-1c10-46a9-85d5-4c7793b5f1eb) against commit 202e9e09ef8391a1472b7ed0710cc9570daad850: ```diff Benchmark Metric Change ================================================================================== + ~Mathlib.NumberTheory.NumberField.CanonicalEmbedding.Basic instructions -8.2% + ~Mathlib.NumberTheory.NumberField.Units.DirichletTheorem instructions -7.0% ```

Here are the [benchmark results](https://speed.lean-lang.org/lean4/run-detail/f31ec1e2-63a8-4c51-8af8-0fb6c9f3ddf6) for commit 54d38720218fb6d777434ec6437648bf90418120. There were [significant changes](https://speed.lean-lang.org/lean4/compare/8cbec451-9b53-4789-a93e-d9f45d7d89ed/to/f31ec1e2-63a8-4c51-8af8-0fb6c9f3ddf6) against commit 02f7a1dd41f034939acf49a5c2c590076cb26d8e: ```diff Benchmark Metric Change ========================================================================== + Init.Data.BitVec.Lemmas re-elab branch-misses -1.9% (-24.6 σ) + big_do task-clock...

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/1c3e18e3-6a49-49c5-a844-4a8384e01649) for commit b400dac8f756ca9b992ef57fbf3d6e5dbb2cb54e. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/100c3591-641d-42bd-8f27-6301eb04e92c/to/1c3e18e3-6a49-49c5-a844-4a8384e01649) against commit f4fd1b19f0e2ab3989c2fef5511ab2341f8b2607: ```diff Benchmark Metric Change ================================================================ - ~Mathlib.LinearAlgebra.DirectSum.Finsupp instructions 244.6% ```