Skip to content
Snippets Groups Projects
Commit 44c5fd6f authored by Guillaume Pasero's avatar Guillaume Pasero
Browse files

Merge branch 'ci_badges' into 'develop'

DOC: add badges for CI and coverage

See merge request !559
parents cf156962 94026f14
No related branches found
No related tags found
Loading
Checking pipeline status