diff options
| author | yvt | 2022-09-11 02:15:07 +0000 |
|---|---|---|
| committer | GitHub | 2022-09-11 02:15:07 +0000 |
| commit | b191ecf828b3bb2a20a8848fc2a45de771741502 (patch) | |
| tree | d04311788cb7b25a70ef6f6a046fa767c097395f /book/theme | |
| parent | c2e41082e4b2e0e1dba6a980a7f09ccaad88cbd0 (diff) | |
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
Diffstat (limited to 'book/theme')
0 files changed, 0 insertions, 0 deletions