Skip to content

Conversation

@zou3519
Copy link
Contributor

@zou3519 zou3519 commented Oct 9, 2019

This PR updates the docs CI. After this is merged, we open a PR from
1.3.0 -> master. That open PR will build docs on this branch and push
them to pytorch.github.io:site-v1.3.0. This is done in dry_run mode
so the pushing won't actually happen; I will follow up with a
subsequent change to drop dry_run mode after verifying that everything
builds correctly.

This PR updates the docs CI. After this is merged, we open a PR from
1.3.0 -> master. That open PR will build docs on this branch and push
them to pytorch.github.io:site-v1.3.0. This is done in dry_run mode
so the pushing won't actually happen; I will follow up with a
subsequent change to drop dry_run mode after verifying that everything
builds correctly.
@pytorchbot pytorchbot added the module: ci Related to continuous integration label Oct 9, 2019
@soumith soumith merged commit a5c08a6 into pytorch:v1.3.0 Oct 10, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

module: ci Related to continuous integration

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants