Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-04 21:20:23 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #29658 - mrobinson:fix-script-name, r=mukilan

Browse source 
Fix the path to the WPT export script after a rename

<!-- Please describe your changes on the following line: -->

---
<!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `___` with appropriate data: -->
- [x] `./mach build -d` does not report any errors
- [x] `./mach test-tidy` does not report any errors
- [x] These changes do not require tests because they are a fix for build GitHub actions.

<!-- Also, please make sure that "Allow edits from maintainers" checkbox is checked, so that we can help you if you get stuck somewhere along the way.-->

<!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. -->
This commit is contained in:
bors-servo 2023-04-24 05:50:54 +02:00 • committed by GitHub
commit 06873da566
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/pull-request-wpt-export.yml vendored
View file

@ -34,7 +34,7 @@ jobs:
- name: Install requirements - name: Install requirements
run: pip install -r servo/python/wpt/requirements.txt run: pip install -r servo/python/wpt/requirements.txt
- name: Process pull request - name: Process pull request
run: servo/python/wpt/upstream.py run: servo/python/wpt/export.py
env: env:
GITHUB_CONTEXT: ${{ toJson(github) }} GITHUB_CONTEXT: ${{ toJson(github) }}
WPT_SYNC_TOKEN: ${{ secrets.WPT_SYNC_TOKEN }} WPT_SYNC_TOKEN: ${{ secrets.WPT_SYNC_TOKEN }}