Skip to content

docs: generate_packages_doc.py: guard against no pipeline info#188

Merged
threexc merged 1 commit into
mainfrom
tgamblin/fix-doc-generation-script
Jul 22, 2026
Merged

docs: generate_packages_doc.py: guard against no pipeline info#188
threexc merged 1 commit into
mainfrom
tgamblin/fix-doc-generation-script

Conversation

@threexc

@threexc threexc commented Jul 22, 2026

Copy link
Copy Markdown
Collaborator

The docs generation script fails if there's no pipeline info, which is the case now for our GitHub builds since they don't provide a pipeline ID on GitLab to reference. Guard against this so that it doesn't cause build failures, but leave the logic there in case we ever need to re-deploy the new version of this script on GitLab infrastructure.

The docs generation script fails if there's no pipeline info, which is
the case now for our GitHub builds since they don't provide a pipeline
ID on GitLab to reference. Guard against this so that it doesn't cause
build failures, but leave the logic there in case we ever need to
re-deploy the new version of this script on GitLab infrastructure.

Signed-off-by: Trevor Gamblin <tgamblin@baylibre.com>
@github-actions

github-actions Bot commented Jul 22, 2026

Copy link
Copy Markdown
Contributor
PR Preview Action v1.8.1
Preview removed because the pull request was closed.
2026-07-22 18:10 UTC

@threexc
threexc merged commit cded046 into main Jul 22, 2026
5 checks passed
@threexc
threexc deleted the tgamblin/fix-doc-generation-script branch July 22, 2026 18:10
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.

1 participant