#355: Move the coverage and the badge generations to v3.9 test job

Close #355 (closed).

changed milestone to %0.10.0

added CI/CD enhancement labels

I am not very experienced in CI/CD. I did not see anything strange.

approved this merge request

merged