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 changes in CAP 2023.09-07 #223

Closed zickgraf closed 1 year ago

zickgraf commented 1 year ago

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

codecov[bot] commented 1 year ago

Codecov Report

Patch coverage is 100.00% of modified lines.

Files Changed Coverage
PackageInfo.g 100.00%
...fFiniteSetsWithMorphismsGivenByListsPrecompiled.gi 100.00%

:loudspeaker: Thoughts on this report? Let us know!.