Adjust to CAP 2024.09-25

[zickgraf]

No description provided.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 75.95%. Comparing base (26623a8) to head (638cda1).
Report is 4 commits behind head on master.

Additional details and impacted files

@@           Coverage Diff           @@
##           master     #585   +/-   ##
=======================================
  Coverage   75.95%   75.95%           
=======================================
  Files         401      401           
  Lines       59848    59850    +2     
=======================================
+ Hits        45458    45460    +2     
  Misses      14390    14390           

Flag	Coverage Δ
Algebroids	73.33% <ø> (ø)
CatReps	83.54% <ø> (ø)
CategoriesWithAmbientObjects	89.28% <ø> (ø)
ExteriorPowersCategories	43.70% <ø> (ø)
FiniteCocompletions	92.45% <100.00%> (+<0.01%)	⬆️
FpCategories	92.70% <ø> (ø)
FunctorCategories	63.73% <ø> (ø)
GradedCategories	86.57% <ø> (ø)
InternalModules	81.68% <ø> (ø)
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.

[zickgraf]

Ah, I forgot to mark the PR as ready to review yesterday, now I have done so.