phone
phone copied to clipboard
CI: Add GitHub Actions, drop TravisCI
This PR adds a simple configuration for GitHub Actions, seeing that #97 Travis stopped.
Fixes #97
TODO after merge:
- Drop the Travis webhook in Settings for this repo
@carr Perhaps the recent Travis event makes this more urgent?