Sphinx build failure
The build failure in #69 (closed), #70 (closed) should now be fixed on master
. Unfortunately, the Sphinx job now fails due to some problem that is actually related to Sphinx: https://gitlab.dune-project.org/infrastructure/dune-website/-/jobs/105855.
@andreas.dedner Could you please take a look?