Skip to content

CI: align build safety with the English source repo (closes #184)#185

Merged
mmcky merged 3 commits into
mainfrom
ci/align-build-safety
Jul 20, 2026
Merged

CI: align build safety with the English source repo (closes #184)#185
mmcky merged 3 commits into
mainfrom
ci/align-build-safety

CI: set -eo pipefail on the sphinx-tojupyter step

31c8082
Select commit
Loading
Failed to load commit list.