WPT Import #8
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: WPT Import | |
on: | |
schedule: | |
# Run this job every Sunday at 00:00. | |
- cron: "0 0 * * 0" | |
# Allows you to run this workflow manually from the Actions tab | |
workflow_dispatch: | |
jobs: | |
linux: | |
# This job is only useful when run on upstream servo. | |
if: github.repository == 'servo/servo' || github.event_name == 'workflow_dispatch' | |
name: Linux | |
uses: ./.github/workflows/linux.yml | |
with: | |
wpt: 'sync' | |
layout: 'all' | |
unit-tests: false | |
sync: | |
# This job is only useful when run on upstream servo. | |
if: github.repository == 'servo/servo' || github.event_name == 'workflow_dispatch' | |
name: Synchronize WPT Nightly | |
runs-on: ubuntu-latest | |
needs: | |
- "linux" | |
steps: | |
- name: Checkout code | |
uses: actions/checkout@v3 | |
with: | |
fetch-depth: 2 | |
# Download all artifacts | |
- uses: actions/download-artifact@v3 | |
- name: Prep environment | |
run: | | |
python3 -m pip install --upgrade pip virtualenv | |
sudo apt update | |
python3 ./mach bootstrap | |
- name: Add upstream remote | |
run: | | |
git config --local user.email "josh+wptsync@joshmatthews.net" | |
git config --local user.name "WPT Sync Bot" | |
git remote add upstream https://github.com/servo/servo.git | |
git fetch --unshallow upstream | |
- name: Fetch upstream changes before syncing | |
run: | | |
./mach update-wpt --sync --patch | |
- name: Amend commit with test results | |
run: | | |
export CURRENT_DATE=$(date +"%d-%m-%Y") | |
echo $CURRENT_DATE | |
echo "CURRENT_DATE=$CURRENT_DATE" >> $GITHUB_ENV | |
./mach update-wpt --legacy-layout wpt-logs-linux-layout-2013/test-wpt.*.log | |
./mach update-wpt wpt-logs-linux-layout-2020/test-wpt.*.log | |
git add tests/wpt/meta tests/wpt/meta-legacy-layout | |
git commit -a --amend --no-edit | |
- name: Push changes | |
uses: ad-m/github-push-action@master | |
with: | |
branch: wpt_update_${{ env.CURRENT_DATE }} | |
- name: Open PR | |
env: | |
GH_TOKEN: ${{ secrets.WPT_SYNC_TOKEN }} | |
UPDATE_BRANCH: wpt_update_${{ env.CURRENT_DATE }} | |
run: | | |
BODY=$(cat <<EOF | |
Automated downstream sync of changes from upstream as of ${{ env.CURRENT_DATE }} | |
[no-wpt-sync] | |
EOF | |
) | |
gh pr create \ | |
--title "Sync WPT with upstream (${{ env.CURRENT_DATE }})" \ | |
--body "$BODY" --head ${{ env.UPDATE_BRANCH }} |