[toolchain]
channel = "stable-2023-12-07"