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

Fix minor coverity issues spotted in r2r #23757

Merged

trufae merged 1 commit into master from runcovs

Dec 6, 2024

Collaborator

trufae commented Dec 6, 2024

Mark this if you consider it ready to merge
I've added tests (optional)
I wrote some lines in the book (optional)

Description


          Fix minor coverity issues spotted in r2r

fbf76e5

trufae merged commit 10c2e65 into master

42 of 43 checks passed

trufae deleted the runcovs branch

December 10, 2024 19:15

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet