Investigate behavior discrepancies between the doc build on diff and the dev build (on master)

There seems to exist a discrepancy in behavior in the documentation build for diff and the documentation build on master. The former fails whereas the latter succeeds...

I cannot pinpoint exactly the source of the issue. And looking through our docker declaration, i cannot see anything that much divergent which could explain it.

The diff build fails where as once pushed in master the build is ok.

Example: !212 (closed) where the diff failed, once pushed in master, the equivalent commit rDDOC0d1e871c66c0cdc60738c0e7990a02f3dbca0540 build succeeded.

Hence why i lost some more hair on [1].

• [1] #4120 (closed)

---

Migrated from T4122 (view on Phabricator)