Update Wasm tests #90
This file contains hidden or 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: Update Wasm tests | |
| on: | |
| # Trigger at every Sunday UTC noon, or manually. | |
| schedule: | |
| - cron: 0 12 * * 0 | |
| workflow_dispatch: | |
| jobs: | |
| build-wpt: | |
| runs-on: ubuntu-24.04 | |
| env: | |
| UPSTREAM_REPO: WebAssembly/spec | |
| steps: | |
| - name: Checkout WPT repo | |
| uses: actions/checkout@v7 | |
| with: | |
| path: wpt | |
| - name: Checkout Wasm repo | |
| uses: actions/checkout@v7 | |
| with: | |
| repository: ${{ env.UPSTREAM_REPO }} | |
| path: wasm-spec | |
| - name: Setup OCaml | |
| uses: ocaml/setup-ocaml@v3 | |
| with: | |
| ocaml-compiler: 5.04.x | |
| - name: Setup OCaml tools | |
| run: opam install --yes ocamlfind js_of_ocaml js_of_ocaml-ppx | |
| - name: Build interpreter | |
| run: cd wasm-spec/interpreter && opam exec make | |
| - name: Convert WAST tests to WPT | |
| run: wasm-spec/test/build.py --dont-recompile --html wasm-spec/out/ | |
| - name: Copy Wasm tests to WPT | |
| # Replace wasm/core entirely, but preserve WEB_FEATURES.yml files. | |
| run: | | |
| rsync -a --delete --exclude 'WEB_FEATURES.yml' wasm-spec/out/ wpt/wasm/core/ | |
| - name: Commit changes | |
| id: commit | |
| continue-on-error: true | |
| run: | | |
| cd wpt | |
| export BRANCH_NAME="$BRANCH_PREFIX-$(date +'%Y%m%d%H%M%S')" | |
| echo "BRANCH_NAME=$BRANCH_NAME" >> $GITHUB_ENV | |
| git config user.name "$GIT_AUTHOR_NAME" | |
| git config user.email "$GIT_AUTHOR_EMAIL" | |
| git checkout -b $BRANCH_NAME | |
| git add wasm/core/ | |
| UPSTREAM_COMMIT=$(cd ../wasm-spec && git rev-parse HEAD) | |
| UPSTREAM_SHORT=$(cd ../wasm-spec && git -c core.abbrev=auto rev-parse --short HEAD) | |
| echo "UPSTREAM_COMMIT=$UPSTREAM_COMMIT" >> $GITHUB_ENV | |
| echo "UPSTREAM_SHORT=$UPSTREAM_SHORT" >> $GITHUB_ENV | |
| git commit -m "Update Wasm tests from $UPSTREAM_REPO@$UPSTREAM_SHORT" \ | |
| --trailer "Upstream: https://github.com/$UPSTREAM_REPO/commit/$UPSTREAM_COMMIT" | |
| env: | |
| GIT_AUTHOR_NAME: "wpt-pr-bot" | |
| GIT_AUTHOR_EMAIL: "wpt-pr-bot@users.noreply.github.com" | |
| BRANCH_PREFIX: "wasm-update" | |
| - name: Create PR | |
| # Check outcome for success as continue-on-error will mask failure. | |
| if: ${{ steps.commit.outcome == 'success' }} | |
| run: | | |
| cd wpt | |
| git push --set-upstream origin $BRANCH_NAME | |
| gh pr create --title "Update Wasm tests" --body "$PR_BODY" | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| PR_BODY: "Scheduled weekly update from https://github.com/${{ env.UPSTREAM_REPO }}/commit/${{ env.UPSTREAM_COMMIT }}. | |
| Auto-generated by the '${{ github.workflow }}' workflow." |