[toolchain] channel = "1.80.1" profile = "minimal"