Skip to content
GitLab
Explore
Sign in
馃摎
add coverage badge and use the one generated from CI for the documentation
Code
Review changes
Check out branch
Download
Patches
Plain diff
Vincent Hatakeyama
requested to merge
topic/15.0/badge
into
branch/15.0
Jun 20, 2022
Overview
0
Commits
1
Pipelines
0
Changes
2
Expand
--HG-- branch : 15.0
Merge request reports
Loading