Turns out the Documenter.jl clearly states that “gh-pages branch” should be selected as the source of the GitHub Pages site in your GitHub repository settings, which I did not do. That was the problem.
Turns out the Documenter.jl clearly states that “gh-pages branch” should be selected as the source of the GitHub Pages site in your GitHub repository settings, which I did not do. That was the problem.