Change release profile directly and add dev profile with optimizations. Fixes #9
This commit is contained in:
parent
4fcc2ac31f
commit
392c7937b1
1 changed files with 5 additions and 2 deletions
|
@ -7,7 +7,10 @@ edition = "2021"
|
||||||
serde = { version = "1.0.152", features = ["derive"] }
|
serde = { version = "1.0.152", features = ["derive"] }
|
||||||
serde_json = { version = "1.0.93", features = ["preserve_order"] }
|
serde_json = { version = "1.0.93", features = ["preserve_order"] }
|
||||||
|
|
||||||
[profile.release-full]
|
[profile.dev-optimized]
|
||||||
inherits = "release"
|
inherits = "dev"
|
||||||
|
opt-level = 3
|
||||||
|
|
||||||
|
[profile.release]
|
||||||
strip = "symbols"
|
strip = "symbols"
|
||||||
lto = "fat"
|
lto = "fat"
|
||||||
|
|
Loading…
Reference in a new issue