https://pantsbuild.org/ logo
#general
Title
# general
h

high-advantage-47550

05/31/2017, 7:27 PM
--pants-config-files="['$DIR/pants.ini', '$DIR/pants.ci.ini']"
instead of
--pants-config-files="['$DIR/pants.ci.ini', '$DIR/pants.ini']"