[toolchain]
# same as ggdt, for now
channel = "nightly-2023-11-10"