Closed navidcy closed 1 year ago
We should register a new version after this, so that there's another version of docs other than dev
.
@navidcy feel free to merge if you don't have any more suggestions
Hmm, seems like the docs for the registered version aren't deploying. Only the docs for dev
appear online. Something must be missing from CI config?
Hmm, seems like the docs for the registered version aren't deploying. Only the docs for
dev
appear online. Something must be missing from CI config?
Can you give me admin right on the repo to check the repo settings? Did you create the repo secret and public key for Documenter?
I can't find an option to give you admin access. Maybe that feature is only available for enterprise users?
And no, I didn't create any deploy keys for this repo, but I think those aren't needed if you're deploying it from the gh-pages
branch, no? At least that's what I understand when reading this page, although now that I read it again, the warning bubble here implies that a documenter key is needed. Plus two of the github actions do have mentions to a documenter key:
OKay, I followed the instructions here using as best as I could. Is there a way to test this without tagging a new version?
Yeah, I'm pretty sure the tagbot needs it to trigger a docs built after a new release.
I manually created a release with a tag v0.11.1-docs
. I didn't click the button to make this the latest release so that the release with the tag v0.11.1
is still considered the latest. I think that should trigger Documenter to built the docs for the v0.11.1 -- let's see.
OK, the Documenter was triggered and pushed something in the gh-pages
but then it does not appear in the docs website....
Yeah, I see the files there in gh-pages
. Weird, I'll investigate.
@tomchor this is a placeholder; feel free to edit as per your liking.