Bump sphinx-rtd-theme from 1.3.0 to 3.1.0 - #790

Warning: Code scanning cannot determine the alerts introduced by this pull request, because 2 configurations present on refs/heads/master were not found:

Default setup

• ❓  /language:actions
• ❓  /language:python

View all branch alerts.