[toolchain]
channel = "1.71.1"