mirror of
https://github.com/servo/servo.git
synced 2025-06-06 16:45:39 +00:00
4d200a4348
This seems to be necessary now, in much the same way it is necessary on a normal Ubuntu system. I'm not sure what changed that this is now required. Signed-off-by: Martin Robinson <mrobinson@igalia.com>
37 lines
1.5 KiB
YAML
37 lines
1.5 KiB
YAML
name: WPT Export
|
|
on:
|
|
pull_request_target:
|
|
types: ['opened', 'synchronize', 'reopened', 'edited', 'closed']
|
|
branches: ['main']
|
|
|
|
jobs:
|
|
upstream:
|
|
# Run job only on servo/servo
|
|
if: github.repository == 'servo/servo'
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- name: Calculate PR fetch depth
|
|
run: echo "PR_FETCH_DEPTH=$(( ${{ github.event.pull_request.commits }} + 1 ))" >> "${GITHUB_ENV}"
|
|
- name: Check out shallow servo PR
|
|
run: |
|
|
git clone --depth 1 ${{ github.event.repository.clone_url}} servo
|
|
cd servo
|
|
git fetch origin pull/${{ github.event.pull_request.number}}/head:pr --depth ${{ env.PR_FETCH_DEPTH }}
|
|
- name: Check out wpt
|
|
uses: actions/checkout@v4
|
|
with:
|
|
path: wpt
|
|
repository: 'web-platform-tests/wpt'
|
|
# The token here must be the token that we will use to push to the
|
|
# WPT repository and not the token used for GitHub actions, because
|
|
# the checkout action sets up an `extraheader` authorization override
|
|
# using the token specified here.
|
|
# See https://github.com/actions/checkout/issues/162.
|
|
token: ${{ secrets.WPT_SYNC_TOKEN }}
|
|
- name: Install requirements
|
|
run: pip install --break-system-packages -r servo/python/requirements.txt
|
|
- name: Process pull request
|
|
run: servo/python/wpt/export.py
|
|
env:
|
|
GITHUB_CONTEXT: ${{ toJson(github) }}
|
|
WPT_SYNC_TOKEN: ${{ secrets.WPT_SYNC_TOKEN }}
|