Fix coverage badge because coverage was changed to show two decimals.
Pipeline #768799 passed
Pipeline passed for b5762ebf on dev Jul 27, 2022
Pipeline #768801 passed
Pipeline passed for 9d2e1bcd on main Jul 27, 2022
assigned to @hannes.mayr
mentioned in commit 9d2e1bcd
merged