Skip to content

Commit ef24f70

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 ef24f70

File tree

2 files changed

+3
-4
lines changed

2 files changed

+3
-4
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

+2-3
Original file line numberDiff line numberDiff line change
@@ -211,15 +211,14 @@ 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]
219-
inherits = "release"
217+
[profile.release-github]
220218
lto = "fat"
221219
codegen-units = 1
222220
strip = "symbols"
221+
build-override = { opt-level = 3 }
223222

224223
[workspace]
225224
members = [

0 commit comments

Comments
 (0)