Skip to content

CI: Disable building PDF documentation in ReadTheDocs#3812

Merged
seisman merged 1 commit intomainfrom
ci/readthedocs
Feb 18, 2025
Merged

CI: Disable building PDF documentation in ReadTheDocs#3812
seisman merged 1 commit intomainfrom
ci/readthedocs

Commits

Commits on Feb 18, 2025