desert
desert copied to clipboard
Make GithHub Actions the blocking CI provider instead of Travis
We should do this whenever our GHA setup is ready.