[toolchain]
channel = "nightly-2023-07-10"
components = ["rust-analyzer", "rustfmt", "clippy", "miri"]
profile = "minimal"