Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-05 22:43:40 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #21148 - servo:jdm-patch-10, r=SimonSapin

Browse source 
Run WPT sync on a machine with a case-sensitive filesystem.

This works around #21145.

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/21148)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2018-07-09 19:14:52 -04:00 • committed by GitHub
commit 934848c1a1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
etc/ci/buildbot_steps.yml
View file

@ -68,9 +68,6 @@ mac-nightly:
- env PKG_CONFIG_PATH=/usr/local/opt/zlib/lib/pkgconfig ./mach build --release
- ./mach package --release
- ./mach upload-nightly mac
- ./etc/ci/update-wpt-checkout fetch-and-update-expectations
- ./etc/ci/update-wpt-checkout open-pr
- ./etc/ci/update-wpt-checkout cleanup
linux-rel-intermittent:
- ./mach clean-nightlies --keep 3 --force
@ -150,6 +147,9 @@ linux-nightly:
- ./mach test-perf
- python3 ./etc/ci/performance/download_buildbot_timings.py --verbose
- aws s3 sync --size-only --acl public-read ./etc/ci/performance/output s3://servo-perf
- ./etc/ci/update-wpt-checkout fetch-and-update-expectations
- ./etc/ci/update-wpt-checkout open-pr
- ./etc/ci/update-wpt-checkout cleanup
android:
- ./mach clean-nightlies --keep 3 --force