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