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: D7480 where the diff failed, once pushed in master, the equivalent commit rDDOC0d1e871c66c0cdc60738c0e7990a02f3dbca0540 build succeeded.

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

[1] T4120#82292