Skip to content

Remove badges generation from CI

Stephan Schulzrequested to merge
remove_badges_from_ci into master

Removes generation of badges, which we are not using (or actually generating really).

Merge request reports