Closed BurntSushi closed 4 years ago
This PR is just various cleanups that were overdue. This also switches to GitHub Actions from Travis CI.
Fixes #13
This PR is just various cleanups that were overdue. This also switches to GitHub Actions from Travis CI.
Fixes #13