search

homalg-project / FinSetsForCAP

The elementary topos of (skeletal) finite sets
https://homalg-project.github.io/FinSetsForCAP/
GNU General Public License v2.0
4 stars 7 forks source link

Adjust to CAP commit c4ff9952143a87c262556f82b55dd1471fa30e87 #231

Closed zickgraf closed 1 year ago

zickgraf commented 1 year ago

See https://github.com/homalg-project/CAP_project/pull/1515

codecov[bot] commented 1 year ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Comparison is base (9e9e131) 100.00% compared to head (c6cb9a3) 100.00%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #231 +/- ## ========================================= Coverage 100.00% 100.00% ========================================= Files 12 12 Lines 1907 1907 ========================================= Hits 1907 1907 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.