Skip to content

Commit

Permalink
Merge pull request #2590 from Bravo555/improve/reenable-dev-symbols
Browse files Browse the repository at this point in the history
reenable default settings for dbg profile
  • Loading branch information
Bravo555 authored Jan 16, 2024
2 parents 8244a66 + 54f9deb commit ec2223f
Showing 1 changed file with 0 additions and 4 deletions.
4 changes: 0 additions & 4 deletions Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -191,10 +191,6 @@ opt-level = "z"
panic = "abort"
strip = "symbols"
overflow-checks = true
[profile.dev]
codegen-units = 16
opt-level = "z"
strip = "symbols"

[workspace.lints.clippy]
get_first = "allow"

1 comment on commit ec2223f

@github-actions
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Robot Results

✅ Passed ❌ Failed ⏭️ Skipped Total Pass % ⏱️ Duration
379 0 3 379 100 59m59.306s

Please sign in to comment.