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

Minor fixes for issues identified in Geant4 by Coverity #48

Open
wants to merge 2 commits into
base: master
Choose a base branch
from

Conversation

drbenmorgan
Copy link
Contributor

A couple of tiny fixes that Geant4's Coverity analysis picked up in PTL. Nothing major, but good to have integrated even if we patch locally.

@drbenmorgan
Copy link
Contributor Author

Hi @jrmadsen, looking at the CI failures, I don't think they're related to the changes here but let me know if not!

@jrmadsen
Copy link
Owner

@drbenmorgan If I had to guess, the failures are because the os-release fields are no longer supported:

os-release: ["macos-12", "macos-11"]

@jrmadsen jrmadsen force-pushed the coverity-fixes branch 2 times, most recently from a1759a1 to c71ab36 Compare July 26, 2024 19:37
@jrmadsen
Copy link
Owner

@drbenmorgan I moved the CI fixes to #50 (along with some changes identified by clang-tidy) and rebased your branch onto the main branch. Will merge as soon as CI passes.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants