Merge branch 'hotfix/coverity' into 'master' (8c920ee8) · Commits · solverstack / Chameleon

A GitLab upgrade is scheduled for Monday, April 7, 2025. Service interruptions are expected in the morning. We'll keep you posted on the progress of the upgrade on the Mattermost canal: https://mattermost.inria.fr/devel/channels/gitlab. We recommend that you do not work on the platform until an announcement indicates that maintenance is complete.

Commit 8c920ee8 authored 2 years ago by Mathieu Faverge

Browse files

Merge branch 'hotfix/coverity' into 'master'

Fix a bunch of warning reported by coverity on the recents MR

See merge request !338

parents 6352f616 8aa15654

No related branches found

No related tags found

1 merge request!338Fix a bunch of warning reported by coverity on the recents MR

Hide whitespace changes

Inline Side-by-side

Showing with 75 additions and 74 deletions

Please register or to comment

Admin message

Merge branch 'hotfix/coverity' into 'master'