servo/.github/workflows/pull-request-wpt-export.yml

name: Pull request (WPT export)
on:
  pull_request_target:
    types: ['opened', 'synchronize', 'reopened', 'edited', 'closed']

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: |
          mkdir servo
          cd servo
          git init -b main
          git remote add origin ${{ github.event.repository.clone_url}}
          git fetch origin pull/${{ github.event.pull_request.number}}/head:pr --depth ${{ env.PR_FETCH_DEPTH }}
          git fetch origin master:master --depth 1
          git checkout master
      - name: Check out wpt
        uses: actions/checkout@v3
        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 -r servo/python/wpt/requirements.txt
      - name: Process pull request
        run: servo/python/wpt/export.py
        env:
          GITHUB_CONTEXT: ${{ toJson(github) }}
          WPT_SYNC_TOKEN: ${{ secrets.WPT_SYNC_TOKEN }}