Do a deploy#1645

Merged

Manishearth merged 12 commits intodeployfrom

Feb 16, 2022

Commits on Jan 17, 2022

Commits on Jan 20, 2022

Commits on Feb 4, 2022

build: Verify checksum of `rustup-init`
pierwill
committed

Commits on Feb 7, 2022

Commits on Feb 10, 2022

Commits on Feb 15, 2022