Skip to content

build: keep debug info out of the default profiles - #9

Merged
shinaoka merged 1 commit into
mainfrom
chore/no-debuginfo-default
Oct 16, 2026
Merged

shinaoka merged 1 commit into
mainfrom
chore/no-debuginfo-default

Conversation

@shinaoka

Copy link
Copy Markdown
Member

Adds [profile.dev] debug = 0 and [profile.test] debug = 0 to the workspace root manifest.

The workspace declared no [profile.*], so dev / test used Cargo's default debug = 2 and every local build emitted DWARF. Nothing else about the profiles changes.

Closes #8.

Verification: cargo check -v in a fresh target dir shows -C strip=debuginfo in the rustc invocation, i.e. the dev profile now resolves to debug = 0.

@shinaoka
shinaoka merged commit e8a6763 into main Oct 16, 2026
3 checks passed
@shinaoka
shinaoka deleted the chore/no-debuginfo-default branch October 16, 2026 06:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

build: no debug info in a default build profile

1 participant