Adjust to CAP 2024.09-12

[zickgraf]

No description provided.

[codecov]

Codecov Report

Attention: Patch coverage is 90.97042% with 174 lines in your changes missing coverage. Please review.

Project coverage is 76.35%. Comparing base (6ab87f7) to head (21f0b7c).
Report is 2 commits behind head on master.

Files with missing lines	Patch %	Lines
...oses/gap/ToposMethodRecordInstallations.autogen.gi	93.41%	79 Missing ⚠️
...wers/gap/ToolsMethodRecordInstallations.autogen.gi	86.47%	56 Missing ⚠️
...HeytingAlgebraMethodRecordInstallations.autogen.gi	81.57%	14 Missing ⚠️
...HeytingAlgebraMethodRecordInstallations.autogen.gi	81.57%	14 Missing ⚠️
...BooleanAlgebraMethodRecordInstallations.autogen.gi	87.87%	8 Missing ⚠️
...les/gap/ProsetMethodRecordInstallations.autogen.gi	90.00%	2 Missing ⚠️
...ales/gap/PosetMethodRecordInstallations.autogen.gi	90.00%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master     #578      +/-   ##
==========================================
+ Coverage   75.88%   76.35%   +0.47%     
==========================================
  Files         391      400       +9     
  Lines       57677    59567    +1890     
==========================================
+ Hits        43766    45482    +1716     
- Misses      13911    14085     +174     

Flag	Coverage Δ
Algebroids	76.03% <ø> (ø)
CatReps	83.54% <ø> (ø)
CategoriesWithAmbientObjects	89.28% <ø> (ø)
ExteriorPowersCategories	43.70% <ø> (ø)
FiniteCocompletions	92.44% <ø> (ø)
FpCategories	88.49% <100.00%> (+0.08%)	⬆️
FunctorCategories	65.31% <100.00%> (+0.02%)	⬆️
GradedCategories	86.57% <ø> (ø)
InternalModules	81.68% <ø> (ø)
IntrinsicCategories	82.47% <ø> (ø)
IntrinsicGradedModules	50.83% <ø> (ø)
IntrinsicModules	82.15% <ø> (ø)
LazyCategories	68.39% <ø> (ø)
Locales	86.44% <85.55%> (-0.11%)	⬇️
PreSheaves	89.78% <ø> (ø)
QuotientCategories	92.08% <ø> (ø)
SubcategoriesForCAP	81.22% <ø> (ø)
ToolsForCategoricalTowers	84.56% <86.66%> (+0.48%)	⬆️
Toposes	90.91% <93.44%> (+1.14%)	⬆️
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.

[mohamed-barakat]

Thanks Fabian.