Revert sphinx to 7.3.7 due to sphinx-rtd-theme #36

Triggered via push July 31, 2024 19:37

jvsguerra

main

Status Success

Total duration 1m 9s

Artifacts 1

publish-gh-pages.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	4.37 MB