leanprover-bot

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/843a83d3-b1ec-48c8-99b9-06c7e50314d6) for commit 102aa6bc58970c2dc024c883438e0aef72bb80ec. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/74f1ccbb-35fe-4682-9158-c33bc1602bd2/to/843a83d3-b1ec-48c8-99b9-06c7e50314d6) against commit 41eb6f94b1259c02e310381d93cf257d5049773c: ```diff Benchmark Metric Change ====================================================================== + build linting -5.3% - ~Mathlib.LinearAlgebra.ExteriorAlgebra.Grading instructions 20.1% - ~Mathlib.LinearAlgebra.QuadraticForm.Basic...

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/9ba766ce-5a78-477f-a851-b51f68223b0d) for commit 24107938e020a3fe34c99243c1e5386e34701d49. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/cebda426-b7da-4550-afbf-7d94d3efa6b9/to/9ba766ce-5a78-477f-a851-b51f68223b0d) against commit 8e7020a51c06ed9898967c4da5dcd473d1048171: ```diff Benchmark Metric Change ====================================================================== - ~Mathlib.LinearAlgebra.ExteriorAlgebra.Grading instructions 19.6% - ~Mathlib.LinearAlgebra.QuadraticForm.Basic instructions 30.1% ```

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/bab4b0cc-1ea4-4f2f-8aa5-a45e64a7a69f) for commit b9ee1c499aa83cfd9b9ec1ebaf7b6b5c7405b960. There were [no significant changes](http://speed.lean-fro.org/mathlib4/compare/2cfb4321-5417-420d-9fd6-71c67e0cfe7c/to/bab4b0cc-1ea4-4f2f-8aa5-a45e64a7a69f) against commit 7c5b29b79559e90cd7584a6ccad2eb046a255bf1.

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/5604cd41-2381-4225-942c-bcf8d88248f7) for commit 4f3c460cc1668820c9af8418a87a23db44c7acab. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/21ba90bf-1dcf-4633-9cc0-5afaf5cccf47/to/5604cd41-2381-4225-942c-bcf8d88248f7) against commit b3faac95adcd7958b82fc6d00cdc994362936fda: ```diff Benchmark Metric Change ===================================================================================================== + build elaboration -9.6% + build linting -5.7% + build...

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/f46c6f00-a503-4666-adca-bdcf24de22fc) for commit 6ac7cfe8196ae9566da618dadca3b2ca15e25241. There were [no significant changes](http://speed.lean-fro.org/mathlib4/compare/33194365-efab-49ad-8bfe-c66aad3330e2/to/f46c6f00-a503-4666-adca-bdcf24de22fc) against commit 335470e523bfe84aa288da3cd9e487906c6b37e6.

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/63a7ee2f-5920-4d9b-b2e0-0acf1ed6aa4e) for commit 1b1d57010f090909ba8fb60a23daacf0772d39bb. There were [no significant changes](http://speed.lean-fro.org/mathlib4/compare/e56bbcf1-ea83-44bb-bb03-add8ca750c91/to/63a7ee2f-5920-4d9b-b2e0-0acf1ed6aa4e) against commit b0729237203be7d86931d9c1855e81c06e31c285.

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/0ac980b9-840e-40d8-a2bb-d21c8920368a) for commit c1b1b9ed0b4dcb1a0a85061b1d8cee09b9ffe73e. There were [no significant changes](http://speed.lean-fro.org/mathlib4/compare/1b8dbef6-93d2-46a9-9157-dd3cc4c8f48e/to/0ac980b9-840e-40d8-a2bb-d21c8920368a) against commit 2922eeaa8dcf1381f90e321e947d56ccf2027ac5.

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/05ab6e51-391b-4a0c-b64f-a5ac951a4591) for commit 93a911c7170a76ebf34da4e62b5225b33632ac72. The entire run failed. Found no significant differences.

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/1aee81e4-f071-4766-9203-098933de1cc7) for commit 3ce1b457ea3d7704d29a8ce57c988195d5491ae5. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/45d23ceb-7d7c-4557-ad71-dc2490b8f2a1/to/1aee81e4-f071-4766-9203-098933de1cc7) against commit 8ff9aa61aa54b5a0eaede0e1db6e9e167cb05bd5: ```diff Benchmark Metric Change ==================================================== - build interpretation 19.9% - ~Mathlib.Data.Finset.Basic instructions 13.1% - ~Mathlib.Data.List.Basic...

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/5eaa2afd-1795-4acf-83b8-75154b3289c5) for commit b14b7a4a04f6915adf5499eef6d17eee5589c816. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/45d23ceb-7d7c-4557-ad71-dc2490b8f2a1/to/5eaa2afd-1795-4acf-83b8-75154b3289c5) against commit 8ff9aa61aa54b5a0eaede0e1db6e9e167cb05bd5: ```diff Benchmark Metric Change =================================== - build interpretation 12.9% - build parsing 5.0% ```