the PR #192 was merged, which solves a problem #191, however, to put it into practice, anyone who is the owner of the organization or repo, must be enable github pages in the repository settings. After that, just re-run github actions for documentation to become available.
the PR #192 was merged, which solves a problem #191, however, to put it into practice, anyone who is the owner of the organization or repo, must be enable github pages in the repository settings. After that, just re-run github actions for documentation to become available.