[toolchain]
channel = '1.72.0'