chore: optimized release profile (#1)

pull/170/head
Valentin271 6 months ago committed by GitHub
parent 0d66b73bb8
commit 7933a87622
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -45,3 +45,8 @@ which = "4.1"
[dev-dependencies]
pretty_assertions = "1.0.0"
[profile.release]
strip = true
lto = true
opt-level = 3

Loading…
Cancel
Save