Closed zimeon closed 2 years ago
Replace use of Travis (which no longer has a free tier) with github actions
Replace use of Travis (which no longer has a free tier) with github actions