Closed Gleefre closed 2 months ago
Fixes #144
ah the long-gone travis-ci ... anyways, I merge this. Are there someone willing to fix the CI for github-actions?
Fixes #144