Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Split
release
profile into release
and release-opt
In `Cargo.toml`: - Add thin LTO to `release` profile. - Create `release-opt` profile with fat LTO and other slow optimizations, as well as stripping all symbols. - Remove some old commented out configuration that has been superseded by more granular configuration (separate from the above changes) In the `release.yml` CI workflow: - Build `release-opt` rather than `release` workflow. - Remove explicit stripping of debug symbols, since `release-opt` does that. - Tweak style of how arguments are built to make it more consistent across script steps, to avoid deepening a minor stylistic inconsistency. - *Temporarily* disable the step that takes the release from draft to published, to avoid publishing more "DO-NOT-USE" releases than necessary when testing the workflow (since, for example, it is possible for them to appear in users' "Home" feeds on GitHub). This change must be undone, so the workflow will really publish.
- Loading branch information