[ci] Switch to using a toolchain file to sync local and CI toolchains

lowRISC / manticore

Apache License 2.0

16 stars 13 forks source link

[ci] Switch to using a toolchain file to sync local and CI toolchains #77

Closed mcy closed 3 years ago

mcy commented 3 years ago

This should avoid issues with inconsistent rustfmt and clippy versions, and make a clear statement about MSRV (although Manticore reserves the right to bump the MSRV whenever is convenient).