Closed jakobnissen closed 3 years ago
This switches the CI from Travis to GitHub Actions, and cleans up a lot of the old files.
This switches the CI from Travis to GitHub Actions, and cleans up a lot of the old files.