Create a new profile release-github
This commit is contained in:
parent
6d12227f35
commit
bc8d89c64c
3 changed files with 33 additions and 24 deletions
|
|
@ -16,4 +16,9 @@ panic = "abort"
|
|||
|
||||
[profile.release]
|
||||
panic = "abort"
|
||||
debug = true
|
||||
debug = true
|
||||
|
||||
[profile.release-github]
|
||||
inherits = "release"
|
||||
lto = true
|
||||
debug = false
|
||||
Loading…
Add table
Add a link
Reference in a new issue