[toolchain]
profile = "default"
channel = "nightly-2025-11-13"