Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Detect memory leaks #288

Merged
merged 15 commits into from
Jul 9, 2023
Merged

Detect memory leaks #288

merged 15 commits into from
Jul 9, 2023

Conversation

marcauberer
Copy link
Member

@marcauberer marcauberer commented Jul 1, 2023

  • Introduce new name mangling scheme
  • Detect memory leaks in CI

@marcauberer marcauberer added improvement Improvement of an existing feature test Contains changes to the test cases labels Jul 1, 2023
@marcauberer marcauberer added this to the 0.17.0 milestone Jul 1, 2023
@marcauberer marcauberer requested a review from a team as a code owner July 1, 2023 14:58
@marcauberer marcauberer self-assigned this Jul 1, 2023
@pull-request-size pull-request-size bot added size/XL and removed size/L labels Jul 2, 2023
@marcauberer marcauberer requested review from a team as code owners July 8, 2023 04:04
@marcauberer marcauberer merged commit bfdf49b into main Jul 9, 2023
4 checks passed
@marcauberer marcauberer deleted the ci/detect-memory-leaks branch July 9, 2023 17:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
improvement Improvement of an existing feature size/XXL test Contains changes to the test cases
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant