Skip to content
Open
19 changes: 2 additions & 17 deletions .github/workflows/ci_docs.yml
Original file line number Diff line number Diff line change
Expand Up @@ -135,25 +135,10 @@ jobs:
python -m pip install dist/*

- name: Build the HTML documentation
run: |
log_file="${RUNNER_TEMP}/sphinx-html.log"
make -C doc clean html 2>&1 | tee "${log_file}"
exit_code=${PIPESTATUS[0]}
if [[ "${RUNNER_OS}" == "Windows" && "${exit_code}" -eq 2 ]] && grep -q "make: .* Error 2816" "${log_file}"; then
echo "Sphinx HTML build exited with make error 2816 (segmentation fault) on Windows; allowing workflow to continue."
exit 0
fi
exit "${exit_code}"
run: make -C doc clean html

- name: Build the PDF documentation
run: |
log_file="${RUNNER_TEMP}/sphinx-pdf.log"
make -C doc pdf 2>&1 | tee "${log_file}"
exit_code=${PIPESTATUS[0]}
if [[ "${RUNNER_OS}" == "Windows" && "${exit_code}" -eq 2 ]] && grep -q "make: .* Error 2816" "${log_file}"; then
echo "Sphinx PDF build exited with make error 2816 (segmentation fault) on Windows; allowing workflow to continue."
exit 0
fi
run: make -C doc pdf

- name: Create the HTML ZIP archive and rename the PDF file
run: |
Expand Down
10 changes: 1 addition & 9 deletions .github/workflows/ci_doctests.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -84,12 +84,4 @@ jobs:

# Run the doctests
- name: Run doctests
run: |
log_file="${RUNNER_TEMP}/pytest.log"
make doctest PYTEST_EXTRA="-r P" 2>&1 | tee "${log_file}"
exit_code=${PIPESTATUS[0]}
if [[ "${RUNNER_OS}" == "Windows" && "${exit_code}" -eq 2 ]] && grep -q "make: .* Error 2816" "${log_file}"; then
echo "Doctests exited with make error 2816 (segmentation fault) on Windows; allowing workflow to continue."
exit 0
fi
exit "${exit_code}"
run: make doctest PYTEST_EXTRA="-r P"
10 changes: 1 addition & 9 deletions .github/workflows/ci_tests.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -189,15 +189,7 @@ jobs:

# Run the regular tests
- name: Run tests
run: |
log_file="${RUNNER_TEMP}/pytest.log"
make test PYTEST_EXTRA="-r P --reruns 2" 2>&1 | tee "${log_file}"
exit_code=${PIPESTATUS[0]}
if [[ "${RUNNER_OS}" == "Windows" && "${exit_code}" -eq 2 ]] && grep -q "make: .* Error 2816" "${log_file}"; then
echo "Tests exited with make error 2816 (segmentation fault) on Windows; allowing workflow to continue."
exit 0
fi
exit "${exit_code}"
run: make test PYTEST_EXTRA="-r P --reruns 2"

# Upload diff images on test failure
- name: Upload diff images if any test fails
Expand Down
Loading