From b191ecf828b3bb2a20a8848fc2a45de771741502 Mon Sep 17 00:00:00 2001 From: yvt Date: Sun, 11 Sep 2022 11:15:07 +0900 Subject: Strip release binary by setting `profile.release.strip` in a pre-build step (#3780) * chore(ci): remove the strip step from the release CI workflow * chore(ci): set `profile.release.strip = true` in the release CI workflow--- .github/workflows/release.yml | 21 ++++++++------------- 1 file changed, 8 insertions(+), 13 deletions(-) (limited to '.github/workflows') diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 481e7b32..e7aca89b 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -133,6 +133,14 @@ jobs: command: test args: --release --locked --target ${{ matrix.target }} --workspace + - name: Set profile.release.strip = true + shell: bash + run: | + cat >> .cargo/config.toml <