This PR removes travis and circleci in favour of github actions, the motivation behind this is mostly that travis is now in the process of migrating to travis-ci.com and builds have been terribly slow. I think we could potentially solve it by migrating, but I haven't been able to figure out how to do that, at least not without full permissions on the repo.
I also think github actions are a lot more readable and easier to write, so I believe this would work better for us.
This PR removes travis and circleci in favour of github actions, the motivation behind this is mostly that travis is now in the process of migrating to travis-ci.com and builds have been terribly slow. I think we could potentially solve it by migrating, but I haven't been able to figure out how to do that, at least not without full permissions on the repo.
I also think github actions are a lot more readable and easier to write, so I believe this would work better for us.