Open hayesgm opened 8 months ago
This patch moves CI checks into GitHub actions and away from CircleCI. Hooray.
This patch moves CI checks into GitHub actions and away from CircleCI. Hooray.