"git@gitlab.orekit.org:gaetanpierre0/orekit.git" did not exist on "9e97af74a03dba828beb08c9bb1f9f198dd3f6ea"
README.md: fix coverage badge, because default branch is master and not main
1 related merge request: !18 README.md: fix coverage badge
branch
10 jobs
2 minutes 58 seconds, queued for 1 seconds