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.

Sign up for GitHub

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

Jump to bottom

Tracer: some janitoring #6043

Merged
merged 2 commits into from
Mar 3, 2025
Merged

Tracer: some janitoring #6043

merged 2 commits into from
Mar 3, 2025

Conversation

akva2
Copy link
Member

@akva2 akva2 commented Mar 3, 2025

Add const where appropriate.

@akva2
Copy link
Member Author

akva2 commented Mar 3, 2025

jenkins build this please

bska
bska reviewed Mar 3, 2025
View reviewed changes
Copy link
Member

@bska bska left a comment

Choose a reason for hiding this comment

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

Much appreciated. Just one tiny change that we might do while here.

@akva2
Copy link
Member Author

akva2 commented Mar 3, 2025

jenkins build this please

bska
bska approved these changes Mar 3, 2025
View reviewed changes
Copy link
Member

@bska bska left a comment

Choose a reason for hiding this comment

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

Thanks a lot for the updates. This looks good to me now and I'll merge into master.

@bska bska merged commit 9ca81bc into OPM:master Mar 3, 2025
1 check passed
@akva2 akva2 deleted the tracer_polish branch March 3, 2025 11:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@bska bska bska approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@akva2 @bska