Author: Michael Lynch <mtlynch@users.noreply.github.com>
Committer: GitHub <noreply@github.com>
Replace CircleCI with NixCI (#1710)