# Should be kept in sync with Dockerfiles

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