rust-toolchain.toml: Pin toolchain channel - Githubissues

RWTH-OS / eduOS-rs

A teaching operating system written in Rust

https://rwth-os.github.io/eduOS-rs/

Apache License 2.0

412 stars 26 forks source link

rust-toolchain.toml: Pin toolchain channel #20

Closed mkroening closed 2 years ago