test

[mattrobball]

trafficstars

:wq

[mattrobball]

!bench

[leanprover-bot]

Here are the benchmark results for commit a2cce26ca944b07123ad4b1fbd2e9217ce39bdef. There were significant changes against commit 6edd89be4f4a80075979c5f8edcb4d9d7d7030fd:

  Benchmark                                                    Metric         Change
  ==================================================================================
+ ~Mathlib.Algebra.Category.ModuleCat.Basic                    instructions   -34.7%
+ ~Mathlib.Algebra.Category.ModuleCat.ChangeOfRings            instructions    -7.6%
+ ~Mathlib.Algebra.Homology.Bifunctor                          instructions    -9.9%
+ ~Mathlib.Algebra.Homology.HomotopyCategory.Pretriangulated   instructions    -5.1%
+ ~Mathlib.AlgebraicGeometry.GammaSpecAdjunction               instructions   -19.9%
+ ~Mathlib.CategoryTheory.Closed.FunctorCategory               instructions   -33.9%
+ ~Mathlib.CategoryTheory.GradedObject.Trifunctor              instructions    -6.5%
+ ~Mathlib.CategoryTheory.Idempotents.FunctorExtension         instructions    -6.9%
+ ~Mathlib.CategoryTheory.Triangulated.Functor                 instructions   -15.3%
+ ~Mathlib.CategoryTheory.Triangulated.Opposite                instructions   -17.7%
+ ~Mathlib.Geometry.RingedSpace.OpenImmersion                  instructions    -8.3%
+ ~Mathlib.Geometry.RingedSpace.PresheafedSpace                instructions   -22.0%