[toolchain] channel = "stable-2023-04-20"