CI: switch to GitHub Actions

This is a merge commit.
14d77108b8Andrew Kelley committed on 11/22/2022, 3:17:14 AMparents670b4c5e21b6a7
28 files changedLine totals unavailable