https://pantsbuild.org/ logo
w

witty-crayon-22786

02/27/2019, 9:52 PM
but also, if you put this in
pants.ini
, that's the difference between putting something in
[cache]
or in
[cache.options]
(where
cache.options
is the cache scope of the
options
task). more info here: https://www.pantsbuild.org/options.html#setting-option-values