diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 9a3b99fb9b4..0f7555d9f9a 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -139,7 +139,7 @@ jobs: TARGET: ${{ matrix.target }} TARGET_FLAGS: --target=${{ matrix.target }} TARGET_DIR: target/${{ matrix.target }} - PROFILE: release-opt + PROFILE: release-github steps: - name: Checkout repository diff --git a/Cargo.toml b/Cargo.toml index e7b773d22d8..f2367338c7e 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -211,15 +211,17 @@ lto = "thin" # can wire up the 'abrt' signal handler so tempfiles will be removed in case of panics. panic = "unwind" incremental = false -build-override = { opt-level = 0 } # This profile is currently used in building releases for GitHub. # It may be removed at any time and should not otherwise be relied on. -[profile.release-opt] +[profile.release-github] inherits = "release" +overflow-checks = false +panic = "unwind" lto = "fat" codegen-units = 1 strip = "symbols" +build-override = { opt-level = 3 } [workspace] members = [