Set up CI

[vwkd]

Set up GitHub Actions to format, lint, test on commit and pull request, as well as publish on tag.