CI: switch to GitHub Actions

This is a merge commit.
d27007cd7eAndrew Kelley committed on 1/9/2023, 9:37:20 PMparent2bbaf95
28 files changedLine totals unavailable