[toolchain]
profile = "default"
channel = "nightly"