chore(static): remove duplicate profile.release — already defined in workspace root
This commit is contained in:
parent
7d7103e271
commit
15483b4e95
@ -17,8 +17,3 @@ slog = { workspace = true }
|
|||||||
anyhow = { workspace = true }
|
anyhow = { workspace = true }
|
||||||
env_logger = { workspace = true }
|
env_logger = { workspace = true }
|
||||||
log = "0.4"
|
log = "0.4"
|
||||||
|
|
||||||
[profile.release]
|
|
||||||
strip = true
|
|
||||||
lto = "thin"
|
|
||||||
opt-level = 3
|
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user