Skip to content

Remove badges generation from CI

Stephan Schulz requested to merge remove_badges_from_ci into master

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

Merge request reports