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.
15 lines
215 B
15 lines
215 B
3 months ago
|
[workspace]
|
||
|
|
members = [
|
||
|
|
"programs/*"
|
||
|
|
]
|
||
|
|
resolver = "2"
|
||
|
|
|
||
|
|
[profile.release]
|
||
|
|
overflow-checks = true
|
||
|
|
lto = "fat"
|
||
|
|
codegen-units = 1
|
||
|
|
|
||
|
|
[profile.release.build-override]
|
||
|
|
opt-level = 3
|
||
|
|
incremental = false
|
||
|
|
codegen-units = 1
|