Skip to content

Commit 34b1060

Browse files
committed
Make use of profile clear by '-github' suffix
Additionally, make current release profile potentially faster by allowing the standard optimizations, probably opt-level 2. In GitHub release mode, optimize even further as time doesn't matter quite as much there. The `build-override` with `opt-leve = 0` was removed in fear this might actually detremental for folks using `cargo install`.
1 parent 871eec7 commit 34b1060

File tree

2 files changed

+5
-3
lines changed

2 files changed

+5
-3
lines changed

.github/workflows/release.yml

+1-1
Original file line numberDiff line numberDiff line change
@@ -139,7 +139,7 @@ jobs:
139139
TARGET: ${{ matrix.target }}
140140
TARGET_FLAGS: --target=${{ matrix.target }}
141141
TARGET_DIR: target/${{ matrix.target }}
142-
PROFILE: release-opt
142+
PROFILE: release-github
143143

144144
steps:
145145
- name: Checkout repository

Cargo.toml

+4-2
Original file line numberDiff line numberDiff line change
@@ -211,15 +211,17 @@ lto = "thin"
211211
# can wire up the 'abrt' signal handler so tempfiles will be removed in case of panics.
212212
panic = "unwind"
213213
incremental = false
214-
build-override = { opt-level = 0 }
215214

216215
# This profile is currently used in building releases for GitHub.
217216
# It may be removed at any time and should not otherwise be relied on.
218-
[profile.release-opt]
217+
[profile.release-github]
219218
inherits = "release"
219+
overflow-checks = false
220+
panic = "unwind"
220221
lto = "fat"
221222
codegen-units = 1
222223
strip = "symbols"
224+
build-override = { opt-level = 3 }
223225

224226
[workspace]
225227
members = [

0 commit comments

Comments
 (0)