we have

./pants --pants-config-files=pants-jenkins.ini ...

in jenkins, but the cache settings in that file are not taking effect