Closed haraldh closed 4 years ago
Updated the CI in #6 . However, it seems like there is no way to run the new GitHub Actions CI for this PR without pushing a new version, so I'm going to merge it without CI this time.
Verified that CI succeeds. Published as version 0.2.3.
Thanks for the pull request! I'm not sure what the CI failure is about, but it seems unrelated to this PR. I wanted to migrate to GitHub actions anyway, so I will do that first and merge this PR afterwards.