fix: allow CI to run when PDFs haven't been generated (#12669)

pull/28/head
Lena 2024-04-25 07:03:17 +02:00 committed by GitHub
parent 6789ec99a8
commit b9941d2ecf
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 3 additions and 0 deletions

View File

@ -49,12 +49,15 @@ function upload_assets {
git push -q
echo "Assets (pages archive, index and checksums) deployed to the static site."
# Suppress errors from unmatched patterns if some files don't exist.
shopt -s nullglob
gh release --repo tldr-pages/tldr upload --clobber "$RELEASE_TAG" -- \
tldr.sha256sums \
"$TLDR_ARCHIVE" \
"$INDEX" \
"$LANG_ARCHIVES/"*.zip \
"$PDFS/"*.pdf
shopt -u nullglob
echo "Assets deployed to GitHub releases."
}