Skip to content
GitLab
Explore
Sign in
Sweeping
!1011
from master to devel. [master] Fix platform definitions
Code
Review changes
Check out branch
Download
Patches
Plain diff
LHCbDIRAC Bot
requested to merge
cherry-pick-2-3c5cae81f-devel
into
devel
Jun 01, 2021
Overview
1
Commits
1
Pipelines
1
Changes
1
Expand
[master] Fix platform definitions
See merge request
!1011 (merged)
Merge request reports
Loading