Merged to get progress on the migration to GH Actions. I'll continue with G-P soon.
Existing PRs probably will continue to use Travis CI until merged but this should be OK.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.