[toolchain]
channel = "nightly-2023-02-09"
profile = "minimal"