if a user gives an output file named .gz we will use java's gzip support to write the file. However, doing that adds a timestamp into the file, which makes two things written the same have a different hash.
This may cause cache-busting downstream when nothing else has changed if the outputs of any gzipped files wind up as inputs in the build.
if a user gives an output file named
.gzwe will use java's gzip support to write the file. However, doing that adds a timestamp into the file, which makes two things written the same have a different hash.This may cause cache-busting downstream when nothing else has changed if the outputs of any gzipped files wind up as inputs in the build.