Merge branch 'feature/ci/badge' into 'master' (fe0b6ef6) · Commits · solverstack / Chameleon · GitLab

Mentions légales du service

Snippets Groups Projects

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 channel: 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 fe0b6ef6 authored 5 years ago by Mathieu Faverge

Merge branch 'feature/ci/badge' into 'master'

restore coverity badge

See merge request solverstack/chameleon!196

parents db6d6802 6d2f71bb

No related branches found

No related tags found

No related merge requests found

Hide whitespace changes

Inline Side-by-side

Showing with 2 additions and 2 deletions

Please register or to comment