ci: downgrade sphinx to v3.x
Sphinx 4.0 was recently released, but sadly the theme we're using is not yet compatible with Sphinx 4.0. So let's limit the sphinx-version we're using to a version before Sphinx 4.0 for now. Closes: #4843 Reviewed-by:Hoe Hao Cheng <haochengho12907@gmail.com> Part-of: <!11005>
Loading
Please register or sign in to comment