Choose a new CI #36
Description
We should switch to GitHub actions or circle or something if we want to use this repo for anything, and uh I propose we should want to use this repo for anything. There's useful stuff here!
{{ message }}
We should switch to GitHub actions or circle or something if we want to use this repo for anything, and uh I propose we should want to use this repo for anything. There's useful stuff here!