Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Contributes to #115
In https://github.com/rapidsai/ops/issues/3582 (private link, sorry) we've reached the conclusion that having 2 GitHub Pages deployments from the same commit doesn't work. This means that when a commit is tagged as a stable release, a new docs deployment switching to the stable version number (e.g.
24.08.02
) doesn't work ("succeeds" in CI, but the docs are not updated).To get around that for now, this proposes not deploying docs on pushes of new commits. As of this PR, the docs site will only be updated under the following conditions:
build
workflow from the GitHub UI and choosedeploy_docs = true
from the drop-down menu