Skip to content

/ servo

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

WPT sync is broken by renamed file with different case #21145

Closed
jdm opened this issue Jul 9, 2018 · 4 comments
Closed

WPT sync is broken by renamed file with different case #21145

jdm opened this issue Jul 9, 2018 · 4 comments
Labels
A-infrastructure I-bustage

Comments

@jdm
Copy link
Member

@jdm jdm commented Jul 9, 2018

web-platform-tests/wpt@b23f2ac

Syncing this commit causes this tidy error:

$ ./mach test-tidy --no-progress --all
 0:27.94 INFO Diffing old and new manifests /home/travis/build/servo/servo/tests/wpt/mozilla/meta/MANIFEST.json
 0:29.03 INFO Diffing old and new manifests /home/travis/build/servo/servo/tests/wpt/metadata/MANIFEST.json
 0:33.80 /home/travis/build/servo/servo/tests/wpt/metadata/MANIFEST.json  0  error  interfaces/webidl.idl in source but not in manifest.  (wpt-manifest)
 0:33.80 /home/travis/build/servo/servo/tests/wpt/metadata/MANIFEST.json  0  error  interfaces/WebIDL.idl in manifest but removed from source.  (wpt-manifest)
 0:34.08 ERROR Manifest /home/travis/build/servo/servo/tests/wpt/metadata/MANIFEST.json is outdated, use |./mach update-manifest| to fix.
@jdm jdm added the A-infrastructure label Jul 9, 2018
@highfive
Copy link

@highfive highfive commented Jul 9, 2018

cc @aneeshusa
@jdm jdm added the I-bustage label Jul 9, 2018
@jdm
Copy link
Member Author

@jdm jdm commented Jul 9, 2018

web-platform-tests/wpt#11864 is also preventing syncing anything.
@jdm
Copy link
Member Author

@jdm jdm commented Jul 9, 2018

This is caused by the syncing job running on macOS where git defaults to not tracking case-sensitive names.
@jdm
Copy link
Member Author

@jdm jdm commented Jul 9, 2018

Honestly the best solution I've come up with is to run the sync job on the linux machines instead.
@jdm jdm mentioned this issue Jul 9, 2018
Merged
bors-servo added a commit that referenced this issue Jul 9, 2018
@bors-servo
Auto merge of #21148 - servo:jdm-patch-10, r=Manishearth
Verified
This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.
GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits
Loading status checks…
a70b2de 
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 -->
bors-servo added a commit that referenced this issue Jul 9, 2018
@bors-servo
Auto merge of #21148 - servo:jdm-patch-10, r=SimonSapin
Verified
This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.
GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits
Loading status checks…
12a368f 
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 -->
bors-servo added a commit that referenced this issue Jul 9, 2018
@bors-servo
Auto merge of #21148 - servo:jdm-patch-10, r=SimonSapin
Verified
This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.
GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits
Loading status checks…
934848c 
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 -->
@jdm jdm mentioned this issue Jul 17, 2018
Merged
bors-servo added a commit that referenced this issue Jul 17, 2018
@bors-servo
Auto merge of #21193 - servo:jdm-patch-17, r=asajeffrey
Verified
This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.
GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits
Loading status checks…
29c8db4 
Recreate virtualenv from scratch when syncing WPT

This fixes #21180 and attempts to work 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/21193)
<!-- Reviewable:end -->
bors-servo added a commit that referenced this issue Jul 17, 2018
@bors-servo
Auto merge of #21193 - servo:jdm-patch-17, r=asajeffrey
Verified
This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.
GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits
Loading status checks…
8866491 
Recreate virtualenv from scratch when syncing WPT

This fixes #21180 and attempts to work 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/21193)
<!-- Reviewable:end -->
@jdm jdm mentioned this issue Jul 18, 2018
Merged
bors-servo added a commit that referenced this issue Jul 18, 2018
@bors-servo
Auto merge of #21204 - servo:wpt_update_18-07-2018, r=jdm
Verified
This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.
GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits
Loading status checks…
6a7fc33 
Update web-platform-tests

The automated sync process is really busted, so this is a manual run to get us back on track. Fixes #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/21204)
<!-- Reviewable:end -->
bors-servo added a commit that referenced this issue Jul 18, 2018
@bors-servo
Auto merge of #21204 - servo:wpt_update_18-07-2018, r=jdm
Verified
This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.
GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits
Loading status checks…
aab335e 
Update web-platform-tests

The automated sync process is really busted, so this is a manual run to get us back on track. Fixes #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/21204)
<!-- Reviewable:end -->
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-infrastructure I-bustage
Projects
None yet
Milestone
No milestone
Linked pull requests

Successfully merging a pull request may close this issue.

None yet
2 participants
@jdm @highfive
You can’t perform that action at this time.