These are just to stop the spurious CI failures at head.
The right solution is to go back and have everything build uniformly with bzlmod or without it.
Get experimental git toolchain working enough with bzlmod so we can use it. But yeech. It really needs a bzlmod conversion. I would rather someone else build it.
Do not run the doc_build with bzlmod. It is impossible to have the sources work for both bzlmod and non_bzlmod because the module name changed. Or maybe it is, but I don't want to solve that right now.
These are just to stop the spurious CI failures at head. The right solution is to go back and have everything build uniformly with bzlmod or without it.