Remove Travis CI, add Github Actions

emielmolenaar commented 3 years ago

PR Type

What kind of pull request is this? Put an x in all the boxes that apply:

[ ] Bug fix (non-breaking change which fixes an issue)
[ ] New feature (non-breaking change which adds functionality)
[ ] Extend feature (non-breaking change which extends existing functionality)
[x] Change feature (non-breaking change which either changes or refactors existing functionality)
[ ] Breaking change (fix or feature that would cause existing functionality to change)

Removes Travis CI as is was shut down, using Github Actions instead.

Removes Travis CI as is was shut down, using Github Actions instead.

Ran the tests.

To facilitate merging your change and the approval of this PR, please make sure you've reviewed and applied the following:

This PR addresses exactly one issue
All changes were made in a fork of this project (preferably also in a separate branch)
It follows the code style of this project
Tests were added to cover the changes
All previously existing tests still pass
If the change to the code requires a change to the documentation, it has been updated accordingly

If you're unsure about any of these, don't hesitate to ask. We're here to help!

sebastiaanluca commented 3 years ago

Thanks for the PR and sorry for the super late response! I'll release a new version in a few minutes with this included.

emielmolenaar commented 3 years ago

No worries, thanks for your work!