Commit cded046
authored
docs: generate_packages_doc.py: guard against no pipeline info (#188)
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>1 parent e767d52 commit cded046
1 file changed
Lines changed: 3 additions & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
80 | 80 | | |
81 | 81 | | |
82 | 82 | | |
83 | | - | |
| 83 | + | |
| 84 | + | |
| 85 | + | |
84 | 86 | | |
85 | 87 | | |
86 | 88 | | |
| |||
0 commit comments