Updating r4 from main@v4.2.2

This commit is contained in:
Patrick Lehmann
2025-03-07 21:15:35 +01:00
committed by GitHub

View File

@@ -46,7 +46,7 @@ on:
type: string
coverage_report_json_directory:
description: ''
required: true
required: false
type: string
coverage_json_artifact:
description: 'Name of the coverage JSON artifact.'
@@ -183,8 +183,8 @@ jobs:
- name: Workaround I - https://github.com/sphinx-doc/sphinx/issues/13190
if: inputs.latex_artifact != ''
run: |
printf "Changing directory to 'doc/_build/latex' ...\n"
cd doc/_build/latex
printf "Changing directory to '${{ inputs.doc_directory || '.' }}/_build/latex' ...\n"
cd ${{ inputs.doc_directory || '.' }}/_build/latex
MIMETYPE_EXTENSIONS=(
"image/png:png"
@@ -232,8 +232,8 @@ jobs:
- name: Workaround II - https://github.com/sphinx-doc/sphinx/issues/13189
if: inputs.latex_artifact != ''
run: |
printf "Changing directory to 'doc/_build/latex' ...\n"
cd doc/_build/latex
printf "Changing directory to '${{ inputs.doc_directory || '.' }}/_build/latex' ...\n"
cd ${{ inputs.doc_directory || '.' }}/_build/latex
printf "Searching for downloaded images, that need normalization ...\n"
for imageExt in png svg jpg jpeg; do