search

homalg-project / CddInterface

Gap Interface to Cdd
https://homalg-project.github.io/CddInterface
Other
1 stars 5 forks source link

Switch CI to use GitHub Actions #28

Closed fingolfin closed 2 years ago

fingolfin commented 2 years ago

You can see here that it works