Skip to content

Dev

Mayr, Hannes requested to merge dev into main

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

Merge request reports