mirror of
https://github.com/servo/servo.git
synced 2025-07-04 05:53:39 +01:00
Don’t count on gzip’s in-place behavior
This commit is contained in:
parent
df997a3e39
commit
2e66952055
1 changed files with 2 additions and 2 deletions
|
@ -73,10 +73,10 @@ def main():
|
||||||
script="""
|
script="""
|
||||||
./mach build --release --with-debug-assertions -p servo
|
./mach build --release --with-debug-assertions -p servo
|
||||||
./etc/ci/lockfile_changed.sh
|
./etc/ci/lockfile_changed.sh
|
||||||
gzip target/release/servo
|
gzip target/release/servo --stdout > /servo.gz
|
||||||
""",
|
""",
|
||||||
artifacts=[
|
artifacts=[
|
||||||
("/repo/target/release/servo.gz", build_artifacts_expiry),
|
("/servo.gz", build_artifacts_expiry),
|
||||||
],
|
],
|
||||||
**build_kwargs
|
**build_kwargs
|
||||||
)
|
)
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue