2022-11-05 20:51:18 +01:00
|
|
|
[workspace]
|
|
|
|
members = [
|
|
|
|
"cave",
|
|
|
|
"hunter",
|
2023-01-22 20:38:19 +01:00
|
|
|
"butcher",
|
2022-11-05 20:51:18 +01:00
|
|
|
"gatherer",
|
2022-11-16 21:53:19 +01:00
|
|
|
"smokestack",
|
2023-10-12 20:11:21 +02:00
|
|
|
"buzzback",
|
2023-10-15 23:02:34 +02:00
|
|
|
"sieve",
|
2022-11-05 20:51:18 +01:00
|
|
|
]
|
2023-10-01 23:20:43 +02:00
|
|
|
resolver = "2"
|
2022-12-04 03:55:36 +01:00
|
|
|
|
|
|
|
[profile.release]
|
|
|
|
codegen-units = 1
|
|
|
|
lto = true
|
|
|
|
strip = true
|
|
|
|
panic = "abort"
|