Move away from Travis
sjoerdk opened this issue · comments
CI is still in Travis, but Travis has turned sad some time ago https://blog.travis-ci.com/2019-01-23-travis-ci-joins-idera-inc.
Move to github actions
Already done. Removed unneeded travis config in e4d8a84