Skip to content
GitLab
Explore
Sign in
maja
maja
Merge requests
!363
only one site location for checktools
Code
Review changes
Check out branch
Download
Patches
Plain diff
Florian Douziech
requested to merge
checktool_one_site
into
develop
Dec 05, 2023
Overview
0
Commits
1
Pipelines
2
Changes
1
Expand
The checktools are computed only on the first site location.
Merge request reports