[toolchain]
# channel = "nightly-2023-06-15"
channel = "stable"