PR #4729 Use non-default gzip options when compressing

Use non-default gzip options when compressing #4729

miguelff merged 8 commits into main from gzip-headers

aqrln commented on 2024-02-13

miguelff commented on 2024-02-14

Use non-default gzip options when compressing

cf7d6f77

Reduce non-determinism in tar

24e642a6

use updated makefile for both builds

58567a7e

try ustar format to discard pax headers

72465b75

remove time zone since it prints a warning

6edab2ac

add more options

66abe310

Revert changes

dd8db472

Compress and measure only the wasm file for the QE

2722c0d9

miguelff force pushed from ef403535 to 2722c0d9 2 years ago

miguelff added this to the 5.10.0 milestone 2 years ago

miguelff marked this pull request as ready for review 2 years ago

miguelff requested a review 2 years ago

miguelff removed review request 2 years ago

miguelff requested a review from

laplab 2 years ago

miguelff requested a review from

jkomyno 2 years ago

SevInf approved these changes on 2024-02-14

miguelff merged ced8cab4 into main 2 years ago

miguelff deleted the gzip-headers branch 2 years ago

Reviewers

SevInf

aqrln

laplab

jkomyno

Assignees

No one assigned

Labels

None yet

Milestone

5.10.0