Change project name and fix up GitHub CI/CD

This commit is contained in:
Keir Fraser
2021-12-26 12:14:30 +00:00
parent 554e078967
commit 0669e6c13a
8 changed files with 39 additions and 176 deletions