Closed abrown closed 1 year ago
Previously, this script tripped itself up when attempting to clean up the Docker artifacts created while building benchmarks. Using xargs fixes this.
xargs
Previously, this script tripped itself up when attempting to clean up the Docker artifacts created while building benchmarks. Using
xargs
fixes this.