Remove obsolete reevaluation of derivation weight lists

[zickgraf]

No description provided.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 76.04%. Comparing base (f487dce) to head (38b7d67).
Report is 2 commits behind head on master.

Additional details and impacted files

@@            Coverage Diff             @@
##           master     #592      +/-   ##
==========================================
- Coverage   76.04%   76.04%   -0.01%     
==========================================
  Files         401      401              
  Lines       59859    59854       -5     
==========================================
- Hits        45518    45513       -5     
  Misses      14341    14341              

Flag	Coverage Δ
Algebroids	73.33% <100.00%> (-0.01%)	⬇️
CatReps	83.54% <ø> (ø)
CategoriesWithAmbientObjects	89.28% <ø> (ø)
ExteriorPowersCategories	43.70% <ø> (ø)
FiniteCocompletions	92.45% <ø> (ø)
FpCategories	92.71% <ø> (ø)
FunctorCategories	64.04% <ø> (ø)
GradedCategories	86.57% <ø> (ø)
InternalModules	81.60% <100.00%> (-0.08%)	⬇️
IntrinsicCategories	82.47% <ø> (ø)
IntrinsicGradedModules	50.83% <ø> (ø)
IntrinsicModules	82.15% <ø> (ø)
LazyCategories	68.39% <ø> (ø)
Locales	86.44% <ø> (ø)
PreSheaves	89.90% <ø> (ø)
QuotientCategories	92.08% <ø> (ø)
SubcategoriesForCAP	81.22% <ø> (ø)
ToolsForCategoricalTowers	84.46% <ø> (ø)
Toposes	90.91% <ø> (ø)
ZariskiFrames	74.30% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.