Dev

Mayr, Hannesrequested to merge
dev into main

Fix coverage badge because coverage was changed to show two decimals.

Merge request reports