CI failed on merge - move to Github actions?

[gonuke]

The most recent PR (#42) failed on merge even though it passed as a PR. This may be a configuration issue with CircleCI that may prompt a modification to move to Github actions.