Denis Cornehl

What's the use-case for this? It _sounds_ useful. Would "documentation size" rather be the amount of files? Megabytes? all targets? Depending on how exact / how often / how far...

So, some thoughts here (aka, partial mentoring instructions). - when running the build, we have all the documentation for all targets in one folder. It might be possible to figure...

@GuillaumeGomez I'm likely missing something, but where is the rustc version defined in `rustc-tools`? Also, how would you imagine this to work? In the end, we only can work with...

> Isn't it possible to download and use a specific version if one is specified? theoretically yes, but since we rely on specific docs.rs functionality in the nightly rustc version,...

> Can't we use it and if it fails, we consider it's ok? We had bugs in nightly versions that lead to silent failures, like #2351 or [this issue](https://rust-lang.zulipchat.com/#narrow/stream/356853-t-docs-rs/topic/Rebuild.20docs.20from.202023-10-11T08.3A18.3A12Z.20to.202023-11-13T12.3A16.3A1). So...

this is an odd failure, and I'm not sure what to make of it. > Is docs.rs using an outdated crates.io cache? no, we're using up-to-date versions of the registry....

I'm not sure if this will ever be possible, since we rely on nightly-only things that were builts specifically for docs.rs. And when docs.rs needs something _new_ in rustdoc, we...

debugging directly on the build-server will probably become less and less, especially when we have #787 ( and #1011 where we probably would also log metadata errors). In the final...

@Nemo157 just a thought: this is probably mostly a `rustwide` change, which we then would just use here, right?

Ah no, the output is coming from our config of the `log` crate, so that's what we have to tweak.