readthedocs: also build offline docs, fixes #7835 #2935
Triggered via pull request
September 25, 2023 13:22
ThomasWaldmann
Status
Success
Total duration
6m 53s
Artifacts
–