[toolchain]
channel = "nightly-2025-02-14"
components = ["miri"]