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

Fix the WPT update (#29996)

Browse source 
- No longer issue the bors-servo r+ comment as we use the merge queue
   now.
 - Explicitly trigger all layout tests so that results are generated.
This commit is contained in:
Martin Robinson 2023-07-14 01:15:41 +02:00 • committed by GitHub
parent befc0f5a5b
commit c86faae371
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 3 additions and 61 deletions
Download patch file Download diff file Expand all files Collapse all files

3
.github/workflows/scheduled-wpt-import.yml vendored
View file

@ -16,6 +16,7 @@ jobs:
uses: ./.github/workflows/linux.yml
with:
wpt: 'sync'
layout: 'all'
unit-tests: false
sync:
@ -72,4 +73,4 @@ jobs:
)
gh pr create \
--title "Sync WPT with upstream (${{ env.CURRENT_DATE }})" \
--body "$BODY" --head ${{ env.UPDATE_BRANCH }} | xargs gh pr comment $1 --body "@bors-servo r+"
--body "$BODY" --head ${{ env.UPDATE_BRANCH }}"