Use make ci inside test-in-copy target
this minimizes the possibility of these two to diverge over time. make ci is the default for Jenkins and will also be used for internal gating tests.
This commit is contained in:
parent
85dfbd7911
commit
f5286e1243