leanprover-bot

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/75e33658-f5d2-4cb8-8f86-07ff50929d23) for commit e3c4bb76b361ff33f834b53faa50dab527ec3abb. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/45d23ceb-7d7c-4557-ad71-dc2490b8f2a1/to/75e33658-f5d2-4cb8-8f86-07ff50929d23) against commit 8ff9aa61aa54b5a0eaede0e1db6e9e167cb05bd5: ```diff Benchmark Metric Change =================================== - build interpretation 11.8% ```

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/736da7b9-a0d1-4602-aa6f-8266bb61aa26) for commit f3707c8ad26069c7207557153a1071bc949f3f3b. There were [no significant changes](http://speed.lean-fro.org/mathlib4/compare/45d23ceb-7d7c-4557-ad71-dc2490b8f2a1/to/736da7b9-a0d1-4602-aa6f-8266bb61aa26) against commit 8ff9aa61aa54b5a0eaede0e1db6e9e167cb05bd5.

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/a568710a-4d86-4603-956f-745379d1c872) for commit 22bba3fca0b10ed16e0c48d31b2ae063a10b5eff. There were [no significant changes](http://speed.lean-fro.org/mathlib4/compare/1fa7b43f-361e-40fa-90a0-aaa1a6372cee/to/a568710a-4d86-4603-956f-745379d1c872) against commit 69fd837a71463d8905afbf335b908a035aa11a7e.

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/2830ec8e-7502-45b9-819c-a73f0b9f16d7) for commit a6e645f7c7c8d8c2f2f0b7facb405c6a7c8f1d20. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/125088cf-517c-474c-a1c4-60d4263a1f89/to/2830ec8e-7502-45b9-819c-a73f0b9f16d7) against commit e9fb5b31bb918376a758dec1ff49931062deb8f4: ```diff Benchmark Metric Change ================================================================ - ~Mathlib.CategoryTheory.ComposableArrows instructions 6.1% ```

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/e8ef26f9-eac0-4999-87dd-0e2c745233d8) for commit 1a749e0ff829652853aecae457336ffbeee6cb36. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/125088cf-517c-474c-a1c4-60d4263a1f89/to/e8ef26f9-eac0-4999-87dd-0e2c745233d8) against commit e9fb5b31bb918376a758dec1ff49931062deb8f4: ```diff Benchmark Metric Change ================================================================ - ~Mathlib.CategoryTheory.ComposableArrows instructions 5.3% ```

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/e6970704-8204-44ea-bc92-629c7f716d72) for commit 45d4cccc28894bf4490178a81ffd4678a0ff11a7. There were [no significant changes](http://speed.lean-fro.org/mathlib4/compare/6d754346-663a-47ec-93ed-b25174161ea6/to/e6970704-8204-44ea-bc92-629c7f716d72) against commit 3502115bbf882ed91452052c41607a3e5139e1e1.

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/59f7a222-52e0-4c77-88e6-76e5cd2acf35) for commit 15798830fa1b69df9c43ba6933bad469928d1d6c. There were [no significant changes](http://speed.lean-fro.org/mathlib4/compare/2f5a9039-9754-4dd1-a563-00ed5a2dc336/to/59f7a222-52e0-4c77-88e6-76e5cd2acf35) against commit 730684c92655a41b391fa63c5a2717a26e201d95.

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/7b3040b6-6592-4cfa-a36a-54d555ac61c2) for commit 0d00dd9305dc69d957802214c218438d20a4234a. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/67b53f66-0072-41f8-a376-924691286779/to/7b3040b6-6592-4cfa-a36a-54d555ac61c2) against commit 9c4c6f78c9a1b7beba018504e284d497a3761af2: ```diff Benchmark Metric Change ============================ - build linting 5.1% ```

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/df5d44fe-5d37-4e26-a8bb-3331ac5742b3) for commit 96231d76c9f4d4e0a463d011a27c9e9453fd8948. There were [no significant changes](http://speed.lean-fro.org/mathlib4/compare/8b2febae-37f4-49c8-ab16-213edc8790af/to/df5d44fe-5d37-4e26-a8bb-3331ac5742b3) against commit 2f2a2ac8815fa1802c08aefdfeae07804b97bea6.

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/68aaf3a5-4200-4130-9ab5-e4fd020e606c) for commit d345bdf8beb24ee14049f12811c2ad279f0c718f. There were [no significant changes](http://speed.lean-fro.org/mathlib4/compare/c0777691-8347-403e-981e-b2b1877cb38f/to/68aaf3a5-4200-4130-9ab5-e4fd020e606c) against commit 03cf1129cb3dc60979585c23d29728cb6393e95c.