Skip to content
GitLab
Explore
Sign in
Remove a few externals from the list of requirements
Code
Review changes
Check out branch
Download
Patches
Plain diff
Marco Clemencic
requested to merge
reduce-list-of-required-externals
into
master
May 09, 2019
Overview
2
Commits
2
Pipelines
2
Changes
1
Expand
in particular the requirement of CASTOR is what prevented today's build.
CC
@cattanem
Merge request reports
Loading