Skip to content

Added valgrind#61

Merged
dcalavrezo-qorix merged 4 commits intoeclipse-score:mainfrom
etas-contrib:add-developer-tools
Jan 27, 2026
Merged

Added valgrind#61
dcalavrezo-qorix merged 4 commits intoeclipse-score:mainfrom
etas-contrib:add-developer-tools

Conversation

@olivembo
Copy link
Contributor

Fixes #60

Copy link

@dcalavrezo-qorix dcalavrezo-qorix left a comment

Choose a reason for hiding this comment

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

LGTM

Copy link
Contributor

@opajonk opajonk left a comment

Choose a reason for hiding this comment

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

Nice!

@olivembo olivembo requested a review from lurtz January 26, 2026 07:40
@olivembo olivembo changed the title Added valgrind and other tools Added valgrind Jan 26, 2026
@dcalavrezo-qorix dcalavrezo-qorix merged commit 306c033 into eclipse-score:main Jan 27, 2026
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

Development

Successfully merging this pull request may close these issues.

Install development tools

4 participants