[toolchain]
channel = "nightly-2025-07-30"
