docs: Pin sphinx-rtd-theme version fixing build error #132
Triggered via pull request
July 17, 2024 14:08
matejmatuska
opened
#877
Status
Success
Total duration
12s
Artifacts
–