Adjust to CAP 2024.08-08

[zickgraf]

I have missed this after doing homalg-project/CAP_project@b8ad18f.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 76.35%. Comparing base (b3b4319) to head (5b902fa).
Report is 2 commits behind head on master.

Additional details and impacted files

@@           Coverage Diff           @@
##           master     #579   +/-   ##
=======================================
  Coverage   76.35%   76.35%           
=======================================
  Files         400      400           
  Lines       59567    59567           
=======================================
  Hits        45482    45482           
  Misses      14085    14085           

Flag	Coverage Δ
Algebroids	76.03% <100.00%> (ø)
CatReps	83.54% <ø> (ø)
CategoriesWithAmbientObjects	89.28% <ø> (ø)
ExteriorPowersCategories	43.70% <ø> (ø)
FiniteCocompletions	92.44% <ø> (ø)
FpCategories	88.49% <ø> (ø)
FunctorCategories	65.31% <ø> (ø)
GradedCategories	86.57% <ø> (ø)
InternalModules	81.68% <ø> (ø)
IntrinsicCategories	82.47% <ø> (ø)
IntrinsicGradedModules	50.83% <ø> (ø)
IntrinsicModules	82.15% <ø> (ø)
LazyCategories	68.39% <ø> (ø)
Locales	86.44% <100.00%> (ø)
PreSheaves	89.78% <ø> (ø)
QuotientCategories	92.08% <ø> (ø)
SubcategoriesForCAP	81.22% <100.00%> (ø)
ToolsForCategoricalTowers	84.56% <ø> (ø)
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.