extra option for release target
This commit is contained in:
parent
58c1b8a21a
commit
7b1fb7dae3
1 changed files with 4 additions and 0 deletions
|
@ -35,3 +35,7 @@ cyborgtime = "2.1.1"
|
||||||
|
|
||||||
[lints.clippy]
|
[lints.clippy]
|
||||||
pedantic = "warn"
|
pedantic = "warn"
|
||||||
|
|
||||||
|
[profile.release]
|
||||||
|
strip = "symbols"
|
||||||
|
lto = "thin"
|
||||||
|
|
Loading…
Reference in a new issue