Repository obsolete? Delete or archive?

homalg-project / test_suite

homalg project test suite

3 stars 2 forks source link

Open fingolfin opened 5 years ago

fingolfin commented 5 years ago

@mohamed-barakat Is this repository obsolete? Can it be deleted or archived?

mohamed-barakat commented 5 years ago

No, this is the repo for Jenkins :)