Closed serenity4 closed 2 years ago
Looks good. No additional suggestions from a source code perspective. Thanks!
I see that the CI is failing. I believe that this is related to Issue #9 (deployment of package docs to GitHub Pages). I'll try to fix that in the couple of days so that we can unblock this PR.
After merging the latest main
and performed the config changes, the documentation build passes.
Addresses #7. Any other suggestions besides the current changes about ColPrac?