-
Notifications
You must be signed in to change notification settings - Fork 32
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Documentation not deployed #41
Comments
Latest build shows that the Copied the CI results here
@shashi or @SimonDanisch could you please look at this? Docs haven't been deployed since June 2018. |
Should be fixed by ea311bb and 3d5ed56 (see the GH action log). |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
I started to revisit the problems of deploying the documentation, when I realised, that it has been already done. Although it is still not working.
Latest build shows a
Permission denied
error, and suggests that is may caused by a wrongDOCUMENTER_KEY
.Another problem could be, that every job tries to deploy the documentation. If all of them succeeds, there will be four (six?) identical copies of the same version?
Though I'm not sure that it is a real problem, the following travis script avoids this:
I can open a PR for the second, but can't fix or test the first.
The text was updated successfully, but these errors were encountered: