Skip to content

[ci] Add documentation as an artifact - #30938

Open
siemen11 wants to merge 1 commit into
lowRISC:earlgrey_1.0.0from
siemen11:ci_docu_artifact
Open

[ci] Add documentation as an artifact#30938
siemen11 wants to merge 1 commit into
lowRISC:earlgrey_1.0.0from
siemen11:ci_docu_artifact

Conversation

@siemen11

@siemen11 siemen11 commented Aug 5, 2026

Copy link
Copy Markdown
Contributor

For certification the documentation per commit is useful to keep as an artifact to find back easier.

For certification the documentation per commit is useful to keep as an
artifact to find back easier.

Signed-off-by: Siemen Dhooghe <sdhooghe@google.com>
@siemen11
siemen11 requested a review from rswarbrick as a code owner August 5, 2026 21:52
@siemen11
siemen11 requested review from luismarques and nasahlpa and removed request for rswarbrick August 5, 2026 22:01

@nasahlpa nasahlpa left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Makes sense and I can confirm that it works in CI :-)

@siemen11 siemen11 added CherryPick:master This PR should be cherry-picked to master CI:Rerun Rerun failed CI jobs labels Aug 6, 2026
@github-actions github-actions Bot removed the CI:Rerun Rerun failed CI jobs label Aug 6, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CherryPick:master This PR should be cherry-picked to master

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants