Skip to content
GitLab
Explore
Sign in
Dev
Code
Review changes
Check out branch
Download
Patches
Plain diff
Mayr, Hannes
requested to merge
dev
into
main
Jul 27, 2022
Overview
0
Commits
2
Pipelines
1
Changes
1
Expand
Fix coverage badge because coverage was changed to show two decimals.
Merge request reports
Loading