Closed hamishgibbs closed 3 years ago
Renames CI workflow and adds workflow to update docs.
Closes #132.
Renames CI workflow and adds workflow to update docs.
Closes #132.