Unleash / unleash / 11798551095

87%

master: 91%

push

github

1-3093: round the project health (#8718)

This PR rounds the average health score we show for a project. With
fractional numbers, it'd often overflow the graph. It also doesn't
really give you much extra info, so we can round it. The rounding is
then used both in the text, in the graph, and to calculate the graph
fill percentage.

Before:

![image](https://github.com/user-attachments/assets/8d0fea3d-411d-42fb-bd80-d2683a63cdf2)

After:

![image](https://github.com/user-attachments/assets/f5c51742-8a2c-4b1a-bca3-7e812b9a1072)

2754 of 3576 branches covered (77.01%)

14249 of 16239 relevant lines covered (87.75%)

707.19 hits per line