Skip to content
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

separate build and publish doc scripts #666

Closed
wants to merge 1 commit into from

Conversation

JKSenthil
Copy link
Contributor

Differential Revision: D52525534

@facebook-github-bot
Copy link
Contributor

This pull request was exported from Phabricator. Differential Revision: D52525534

JKSenthil added a commit to JKSenthil/tnt that referenced this pull request Jan 4, 2024
Summary:

# Context
Publish docs part of the script is failing since the directory generated by the build script isn't shared to the publish one
 {F1238220367} 

# This Diff
Creates a separate script for building and publishing the static docs. Building is only run on pull requests, build + publishing script is run on commit / land.

Differential Revision: D52525534
@facebook-github-bot
Copy link
Contributor

This pull request was exported from Phabricator. Differential Revision: D52525534

JKSenthil added a commit to JKSenthil/tnt that referenced this pull request Jan 9, 2024
Summary:

# Context
Publish docs part of the script is failing since the directory generated by the build script isn't shared to the publish one
 {F1238220367} 

# This Diff
Creates a separate script for building and publishing the static docs. Building is only run on pull requests, build + publishing script is run on commit / land.

Reviewed By: galrotem

Differential Revision: D52525534
@facebook-github-bot
Copy link
Contributor

This pull request was exported from Phabricator. Differential Revision: D52525534

Summary:

# Context
Publish docs part of the script is failing since the directory generated by the build script isn't shared to the publish one
 {F1238220367} 

# This Diff
Creates a separate script for building and publishing the static docs. Building is only run on pull requests, build + publishing script is run on commit / land.

Reviewed By: galrotem

Differential Revision: D52525534
@facebook-github-bot
Copy link
Contributor

This pull request was exported from Phabricator. Differential Revision: D52525534

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants