r? @nikomatsakis

(rust_highfive has picked a reviewer for you, use r? to override)

r? @pietroalbini

Thanks!

@bors r+

📌 Commit b985c29 has been approved by pietroalbini

Just to be clear, is the full-bootstrap option in config.toml broken? If so, should it be fixed? Or should it be removed? Or should it be documented as being broken?

Hmm, @Mark-Simulacrum?

I am uncertain, but I personally would be in favor of removing support for it. I don't personally think it useful (which is why I'm fine with dropping tests for it).

I am uncertain, but I personally would be in favor of removing support for it. I don't personally think it useful (which is why I'm fine with dropping tests for it).

I'm happy to remove it too. But it should be in another PR as it may need some discussion and/or some other eyes, right?

Yep, this PR is good to go. I will need to think some more on the general fate of full-bootstrap.

⌛ Testing commit b985c29 with merge de521cb...

☀️ Test successful - checks-actions, checks-azure
Approved by: pietroalbini
Pushing de521cb to master...