Hey all, can anyone restart these shards pls: <htt...
# generale
early-kangaroo-39629
07/27/2019, 12:10 AMHey all, can anyone restart these shards pls: https://travis-ci.org/pantsbuild/pants/jobs/564212871
https://travis-ci.org/pantsbuild/pants/jobs/564212879. Thanks