-
Notifications
You must be signed in to change notification settings - Fork 34
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
improve docs build system #219
Comments
Since RTD now fully supports PR builds, it may be worth switching to that service: this also solves versioning of docs and having a separate |
This will serve to redirect the old docs to the new one: and <!DOCTYPE HTML>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="refresh" content="0;url={{THE_NEW_URL}}" />
<link rel="canonical" href="{{THE_NEW_URL}}" />
</head>
<body>
<h1>
The page been moved to <a href="{{THE_NEW_URL}}">{{THE_NEW_URL}}</a>
</h1>
</body>
</html> |
After some tryouts I ran into the issue that RTD does not provide us with enough time and RAM to execute the tutorials. I considered rtds-action to execute the notebooks on GH actions, but Therefore, for now I will stick with github actions. It also allows parallel builds or more tutorials in the future.
|
scverse/cookiecutter-scverse#40 might be a better solution |
Superseded by #372 |
Current list of stuff to solve:
[ ] remove PR builds on merge/close(not necessary anymore, as PR docs are not uploaded to gh-pages anymore)Original message
The git push fails with permission denied, despite an access token being provided.
Maybe it uses the secrets from the fork instead of the main repo.
The text was updated successfully, but these errors were encountered: