This PR replaces the travis-based CI with one based on github actions. Since travis-ci.org seems to be defunct.
This PR does not add caching. I tried a few different solutions, but couldn't get caching right immediately, and given that CI without cache finishes in about 5 minutes, I gave up on that. We can easily add caching later, if we want.
This PR replaces the travis-based CI with one based on github actions. Since travis-ci.org seems to be defunct.
This PR does not add caching. I tried a few different solutions, but couldn't get caching right immediately, and given that CI without cache finishes in about 5 minutes, I gave up on that. We can easily add caching later, if we want.