Closed eric-wieser closed 11 months ago
The CircleCI configuration has rotted over time. This gets it functioning again, if only so that we have something to compare against the proposed switch to github actions.
The CircleCI configuration has rotted over time. This gets it functioning again, if only so that we have something to compare against the proposed switch to github actions.