[toolchain] channel = "1.56" profile = "default"