`readthedocs` is failing
FlorianK13 opened this issue · comments
Florian Kotthoff commented
There seems to be a bug in one of our documentation files.
Florian Kotthoff commented
I'm confident that the reason for the error is the change from sphinx v6. to v7. The last build which did not fail was with v6.
Florian Kotthoff commented
Solved with #454