Skip to content

Upload doc artifacts from doc build run - #1092

Merged
matsl merged 2 commits into
masterfrom
pr_upload_build_artifacts
Oct 30, 2026
Merged

matsl merged 2 commits into
masterfrom
pr_upload_build_artifacts

Conversation

@matsl

@matsl matsl commented Oct 30, 2026 •

Copy link
Copy Markdown
Collaborator

What

Upload doc artifacts from doc build run into a zip-file that can be viewed locally.

Why

Since we build the docs in the build-docs workflow it is interesting to see how they look without having to make them part of the PR. Especially in cases where we change the way the docs are generated.

Current PR #1091 is one example that would benefit from this update.

Build artifacts, constructed in the build docs workflow, are zipped together
and can be downloaded and inspected.

* .github/workflows/docs.yml (jobs): Use actions/upload-artifact.
@matsl
matsl force-pushed the pr_upload_build_artifacts branch from bb0c685 to 26909e4 Compare October 30, 2026 16:02
@matsl matsl changed the title Try artifact upload Upload doc artifacts from doc build run Oct 30, 2026
@matsl
matsl marked this pull request as ready for review October 30, 2026 18:11
@matsl
matsl requested a review from rswgnu October 30, 2026 18:14

@rswgnu rswgnu left a comment

Copy link
Copy Markdown
Owner

Choose a reason for hiding this comment

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

The date seems to be the only change on the hyperbole.texi file, so just kill that change and resubmit.

@matsl

matsl commented Oct 30, 2026

Copy link
Copy Markdown
Collaborator Author

Yes, there had to be one change in a doc to trigger the doc build to
demonstrate how the result looks like. Now when you have seen the PR I
can remove it. Thanks for reminding me.

@matsl
matsl requested a review from rswgnu October 30, 2026 18:57
@matsl
matsl merged commit 66248e2 into master Oct 30, 2026
5 checks passed
@matsl
matsl deleted the pr_upload_build_artifacts branch November 2, 2026 21:16
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