CI has not been run since github dropped travis. - [ ] revive testsuite - [ ] use new github workflow
