|
53 | 53 | strategy: |
54 | 54 | fail-fast: false |
55 | 55 | matrix: |
56 | | - os: [ubuntu-latest, macos-latest] |
57 | | - # os: [ubuntu-latest, macos-latest, windows-latest] |
| 56 | + os: [ubuntu-latest, macos-latest, windows-latest] |
58 | 57 | # Is it a draft Pull Request (true or false)? |
59 | 58 | isDraft: |
60 | 59 | - ${{ github.event.pull_request.draft }} |
|
72 | 71 | steps: |
73 | 72 | # Checkout current git repository |
74 | 73 | - name: Checkout |
75 | | - uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 # v6.0.1 |
| 74 | + uses: actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v6.0.3 |
76 | 75 | with: |
77 | 76 | # fetch all history so that setuptools-scm works |
78 | 77 | fetch-depth: 0 |
@@ -136,10 +135,25 @@ jobs: |
136 | 135 | python -m pip install dist/* |
137 | 136 |
|
138 | 137 | - name: Build the HTML documentation |
139 | | - run: make -C doc clean html |
| 138 | + run: | |
| 139 | + log_file="${RUNNER_TEMP}/sphinx-html.log" |
| 140 | + make -C doc clean html 2>&1 | tee "${log_file}" |
| 141 | + exit_code=${PIPESTATUS[0]} |
| 142 | + if [[ "${RUNNER_OS}" == "Windows" && "${exit_code}" -eq 2 ]] && grep -q "make: .* Error 2816" "${log_file}"; then |
| 143 | + echo "Sphinx HTML build exited with make error 2816 (segmentation fault) on Windows; allowing workflow to continue." |
| 144 | + exit 0 |
| 145 | + fi |
| 146 | + exit "${exit_code}" |
140 | 147 |
|
141 | 148 | - name: Build the PDF documentation |
142 | | - run: make -C doc pdf |
| 149 | + run: | |
| 150 | + log_file="${RUNNER_TEMP}/sphinx-pdf.log" |
| 151 | + make -C doc pdf 2>&1 | tee "${log_file}" |
| 152 | + exit_code=${PIPESTATUS[0]} |
| 153 | + if [[ "${RUNNER_OS}" == "Windows" && "${exit_code}" -eq 2 ]] && grep -q "make: .* Error 2816" "${log_file}"; then |
| 154 | + echo "Sphinx PDF build exited with make error 2816 (segmentation fault) on Windows; allowing workflow to continue." |
| 155 | + exit 0 |
| 156 | + fi |
143 | 157 |
|
144 | 158 | - name: Create the HTML ZIP archive and rename the PDF file |
145 | 159 | run: | |
@@ -168,7 +182,7 @@ jobs: |
168 | 182 | REF_NAME: ${{ github.ref_name }} |
169 | 183 |
|
170 | 184 | - name: Checkout the gh-pages branch |
171 | | - uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 # v6.0.1 |
| 185 | + uses: actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v6.0.3 |
172 | 186 | with: |
173 | 187 | ref: gh-pages |
174 | 188 | # Checkout to this folder instead of the current one |
|
0 commit comments