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

Unify build and deploy documentation workflow #48

Merged
merged 7 commits into from
Jan 31, 2024

Conversation

biancabnd
Copy link
Contributor


Basic Info

Info Please fill out this column
Ticket(s) this addresses (Closes #IssueNumber)
Primary OS tested on (Ubuntu, MacOS, Windows)
Drone platform tested on

Description of contribution in a few bullet points

Motivation and Context

How Has This Been Tested?

Description of documentation updates required from your changes


Future work that may be required in bullet points

Screenshots (if appropriate):

.github/workflows/build_and_deploy_docs.yaml Outdated Show resolved Hide resolved
.github/workflows/build_and_deploy_docs.yaml Outdated Show resolved Hide resolved
.github/workflows/build_and_deploy_docs.yaml Outdated Show resolved Hide resolved
Comment on lines 77 to 86
- name: Setup Pages
uses: actions/configure-pages@v4
- name: Upload artifact
uses: actions/upload-pages-artifact@v3
with:
# Upload entire repository
path: 'docs/_build/html'
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v4
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

actually we could just put this in the previous job, to make things even faster. SO that it will build and deploy if any changes, without the need to clone again the repo from scratch

@biancabnd biancabnd marked this pull request as ready for review January 31, 2024 12:19
@biancabnd biancabnd requested a review from a team as a code owner January 31, 2024 12:19
@biancabnd biancabnd merged commit f1a191e into main Jan 31, 2024
1 check passed
@biancabnd biancabnd deleted the hotfix/update_documentation branch January 31, 2024 12:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants