cli
cli copied to clipboard
Migrate CI to GitHub actions
Now that this repository is hosted primarily in GitHub, we should change the CI to use GitHub actions instead of GitLab CI.