PY: Use SPHINX_BUILD_EXECUTABLE instead of SPHINX_EXECUTABLE #4031
Triggered via pull request
October 26, 2023 13:24
Status
Success
Total duration
3h 27m 12s
Artifacts
–