From 321fb4edefb81bb3bdf14cb8eb0f065a65ff5983 Mon Sep 17 00:00:00 2001 From: yvt Date: Sat, 10 Sep 2022 17:02:03 +0900 Subject: [PATCH] chore(ci): set `profile.release.strip = true` in the release CI workflow --- .github/workflows/release.yml | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 4d8bf742e22b..e7aca89bb72a 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 <