Closed this issue 5 years ago · 1 comments
It might be nice to move the CircleCI linting and docs-building to GitHub Actions.
Covered by #14.