dune cache trim
: also print number of files removed
#9216
Merged
Loading