Rugged: Update continuous integration link and add links to source code quality and coverage
CI was updated for Rugged (like in Orekit):
-
under Community tab:
- change link from Jenkins to Gitlab CI pipelines: https://gitlab.orekit.org/orekit/rugged/pipelines
- add link to Source code quality: https://sonar.orekit.org/dashboard?id=org.orekit%3Arugged
-
in the home page, add badges to :
- quality date (source code quality): https://sonar.orekit.org/dashboard?id=org.orekit%3Arugged
- coverage: https://sonar.orekit.org/component_measures?id=org.orekit%3Arugged&metric=coverage&view=treemap
Edited by Guylaine Prat