Use downloaded shared sphinxconfig
Passed
Andreas Klöckner
created pipeline for commit
725a184b
, finished
For main
4 minutes 55 seconds, queued for 2 seconds