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