[toolchain]
channel = "nightly-2024-05-16"
profile = "default"