ci(docs): Add retry logic to build_mkdocs (#1568)

This commit is contained in:
Zeglius 2024-08-29 02:58:06 +02:00 committed by GitHub
parent 646d3f380f
commit b668e5db46
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -63,7 +63,15 @@ runs:
_OUTPUT_DIR: ${{ inputs.output_dir }}
run: |
source .venv/bin/activate
mkdocs build --verbose -d $_OUTPUT_DIR
max_tries=3
is_ok=0
while [[ $max_tries -gt 0 && is_ok -ne 1 ]]; do
if ! mkdocs build --verbose -d $_OUTPUT_DIR; then
max_tries=$(( $max_tries -1 ))
else
is_ok=1
fi
done
- name: Setup Pages
if: ${{ inputs.upload_github_page == 'true' }}