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

Stop testing Toposes #250

Open mohamed-barakat opened 9 months ago

mohamed-barakat commented 9 months ago

I suggest stopping testing Toposes.jl which is primarily responsible for the dependency hell.

zickgraf commented 9 months ago

I think in general this will make things worse, because issues in Toposes.jl will usually also affect FinSetsForCAP.jl. Instead, I suggest that Toposes should not use FinSetsForCAP in its tests.

zickgraf commented 9 months ago

But of course in the medium term, all the Julia tests should be moved to their respective packages anyway.