Skip to content

Conversation

dnwillia-work
Copy link
Collaborator

@dnwillia-work dnwillia-work commented Jun 1, 2022

Looks like the development documentation has been broken for a while. The release and dev versions are hosted under different CNAMEs.

@dnwillia-work
Copy link
Collaborator Author

Force merged this one so I can see if the nightly doc build is working again.

@dnwillia-work dnwillia-work merged commit 8b6d7b4 into main Jun 1, 2022
@dnwillia-work dnwillia-work deleted the doc/fixdevdocs branch June 1, 2022 17:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants