infra: set up CI #7

Merged
mcataford merged 23 commits from infra/cicd into main 2021-07-17 16:30:27 +00:00
Showing only changes of commit 2c4f4f68d4 - Show all commits