Gitpod for rust repository

Rust repository is large (as it should be) and building it requires gigabytes of hard drive, bandwidth, hours of cpu, ... Which make it hard for contributors, specially those who want to make an small, one-time contribution.

Gitpod is an open source cloud environment for developing. If rust has enough infrastructure, It can build gitpod images in CI and developers can start with a compiled, tested development environment in some seconds.

Seems here is wrong forum. I cross posted this here: Gitpod for rust repository - tools and infrastructure - Rust Internals