sphinx pipeline failing with '.../dune-website/tmp/doxygen': No such file or directory
At the moment the pipelines on a /features/sphinx/... branch are failing but not with the changes made in the branch (I think). See https://gitlab.dune-project.org/infrastructure/dune-website/-/jobs/101293
[CRITICAL] ciwebsitebuilder: Error running git worktree add -f /builds/infrastructure/dune-website/tmp/sphinx/core/dune-common master in /builds/infrastructure/dune-website/repositories/dune-common.git
fatal: Invalid path '/builds/infrastructure/dune-website/tmp/doxygen': No such file or directory
It's works for me locally.
Related MR !228 (merged)