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

add publish docs job to CI #26245

Merged
merged 1 commit into from
Feb 4, 2025
Merged

Conversation

arezaii
Copy link
Collaborator

@arezaii arezaii commented Nov 15, 2024

This adds a new job to our CI process that will conditionally trigger on pushes to main. The new job depends on the make_doc job finishing, and then it retrieves the documentation artifact from that job and uploads it to the website's main docs.

It was necessary to include the hidden files when creating the artifact from the make_docs step so that the updated .htaccess file would be included.

Secrets are stored in github and are never exposed in logs etc.

Tested with bad docs (failed build) and adding new docs.

Set to use the --dry-run option for now. Once we've had a few days of it in place without issue and confirmed that the updates would be the same or better than our current update method, I'll remove that flag and it will begin actually publishing the docs.

[reviewed by @tzinsky - thanks!]

@arezaii arezaii marked this pull request as ready for review November 19, 2024 00:13
@arezaii arezaii force-pushed the publish-docs-ghci branch 2 times, most recently from 3e44947 to 8202510 Compare January 31, 2025 06:16
Signed-off-by: Ahmad Rezaii <ahmad.rezaii@hpe.com>
@arezaii arezaii merged commit 39949b5 into chapel-lang:main Feb 4, 2025
9 checks passed
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.

2 participants