Closed Fontanapink closed 4 months ago
This automatically creates the github pages for the documentation after each push/successful pr
This automatically creates the github pages for the documentation after each push/successful pr
Pull Request To-Do List
Description of the changes:
I have done the following to make this PR ready for review:
For the reviewer, make sure this PR meets these criteria before merging: