Execute a battery of benchmarks for reCTBN 🦀📊⏱️
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
# This file defines the Rust toolchain to use when a command is executed.
|
|
# See also https://rust-lang.github.io/rustup/overrides.html
|
|
|
|
[toolchain]
|
|
channel = "stable"
|
|
components = [ "clippy", "rustfmt" ]
|
|
profile = "minimal"
|
|
|
