tc speed test

[FR-vdash-bot]

---

[FR-vdash-bot]

!bench

[leanprover-bot]

Here are the benchmark results for commit b6f4a43.Found no runs to compare against.

[FR-vdash-bot]

!bench

[leanprover-bot]

Here are the benchmark results for commit b6f4a43.
There were significant changes against commit 51625e9:

  Benchmark                                           Metric         Change
  =========================================================================
+ build                                               elaboration     -8.9%
+ ~Batteries.Data.Array.Lemmas                        instructions   -87.8%
+ ~Batteries.Data.List.Lemmas                         instructions   -39.5%
+ ~Mathlib.Algebra.DirectLimit                        instructions   -15.2%
+ ~Mathlib.Algebra.Lie.Quotient                       instructions   -72.0%
- ~Mathlib.Algebra.Module.PID                         instructions     7.6%
+ ~Mathlib.Algebra.Module.Submodule.Localization      instructions   -51.3%
+ ~Mathlib.Analysis.Normed.Group.Quotient             instructions   -75.0%
+ ~Mathlib.CategoryTheory.Generator                   instructions   -41.7%
+ ~Mathlib.Combinatorics.Additive.PluenneckeRuzsa     instructions   -69.0%
+ ~Mathlib.FieldTheory.AbelRuffini                    instructions   -35.1%
+ ~Mathlib.FieldTheory.IsAlgClosed.AlgebraicClosure   instructions   -43.8%
+ ~Mathlib.GroupTheory.Coset                          instructions   -78.7%
+ ~Mathlib.GroupTheory.GroupAction.Quotient           instructions   -76.5%
+ ~Mathlib.GroupTheory.QuotientGroup                  instructions   -33.5%
+ ~Mathlib.LinearAlgebra.Isomorphisms                 instructions   -57.3%
+ ~Mathlib.LinearAlgebra.Quotient                     instructions   -27.8%
+ ~Mathlib.LinearAlgebra.QuotientPi                   instructions   -67.9%
+ ~Mathlib.LinearAlgebra.SModEq                       instructions   -89.3%
+ ~Mathlib.LinearAlgebra.Semisimple                   instructions   -16.0%
+ ~Mathlib.MeasureTheory.Measure.Haar.Quotient        instructions   -54.5%
+ ~Mathlib.RingTheory.Smooth.Basic                    instructions   -42.0%
+ ~Mathlib.RingTheory.Valuation.ValuationSubring      instructions   -22.3%
+ ~Mathlib.Topology.Algebra.InfiniteSum.Module        instructions   -60.0%
+ ~Mathlib.Topology.Instances.AddCircle               instructions   -58.2%

[FR-vdash-bot]

I'm still worried about other changes having an effect on the results. (upd: indeed...)

[FR-vdash-bot]

!bench

[leanprover-bot]

Here are the benchmark results for commit b6f4a43.
There were significant changes against commit c8ba1f8:

  Benchmark                           Metric         Change
  =========================================================
+ ~Mathlib.LinearAlgebra.Semisimple   instructions   -16.0%

[FR-vdash-bot]

!bench

[FR-vdash-bot]

!bench

[leanprover-bot]

Here are the benchmark results for commit ba1eb0b.
There were significant changes against commit c8ba1f8:

  Benchmark                           Metric         Change
  =========================================================
+ ~Mathlib.LinearAlgebra.Semisimple   instructions   -16.0%

[leanprover-bot]

Here are the benchmark results for commit 9b3fad2.
There were no significant changes against commit c8ba1f8.

[FR-vdash-bot]

!bench

[leanprover-bot]

Here are the benchmark results for commit 4f80ca8.
There were no significant changes against commit c8ba1f8.

[FR-vdash-bot]

!bench

[leanprover-bot]

Here are the benchmark results for commit 30da8c1.
There were no significant changes against commit c8ba1f8.