[toolchain]
channel = "nightly"
components = ["miri"]