Closed kerzhner closed 3 years ago
We can hopefully use Github (as opposed to CircleCI).
This is currently done with CircleCI but happy to explore the github option.
CircleCI
Didn't realize that this was already set up. That's awesome. No need to migrate to Github actions unless CircleCI becomes a pain.
We can hopefully use Github (as opposed to CircleCI).