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

clean-fish-15260

03/21/2017, 9:03 PM
we have
./pants --pants-config-files=pants-jenkins.ini ...
in jenkins, but the cache settings in that file are not taking effect