sesman
sesman copied to clipboard
Move CI to GitHub Actions
The current CI setup uses Travis, which is essentially dead at this point.