comparison third_party/emsdk/.github/workflows/create-release.yml @ 186:8cf4ec5e2191 hg-web

Fixed merge conflict.
author MrJuneJune <me@mrjunejune.com>
date Fri, 23 Jan 2026 22:38:59 -0800
parents 8d17f6e6e290
children
comparison
equal deleted inserted replaced
176:fed99fc04e12 186:8cf4ec5e2191
1 name: Create Release PR
2
3 on:
4 workflow_dispatch:
5 inputs:
6 lto-sha:
7 required: true
8 type: string
9 nonlto-sha:
10 required: true
11 type: string
12
13 jobs:
14 create-release-pr:
15 runs-on: ubuntu-latest
16 steps:
17 - name: Checkout repo
18 uses: actions/checkout@v4
19 - name: Run create_release.py
20 run: python3 scripts/create_release.py -r ${{ inputs.lto-sha }} -a ${{ inputs.nonlto-sha }} --gh-action
21 - name: Create PR
22 id: cpr
23 uses: peter-evans/create-pull-request@v6
24 with:
25 token: ${{ secrets.EMSCRIPTEN_BOT_TOKEN }}
26 title: Release ${{ env.RELEASE_VERSION }}
27 commit-message: |
28 Release ${{ env.RELEASE_VERSION }}
29 team-reviewers: release-reviewers
30 labels: release
31 body: |
32 With emscripten-releases revisions:
33 https://chromium.googlesource.com/emscripten-releases/+/${{ inputs.lto-sha }} (LTO)
34 https://chromium.googlesource.com/emscripten-releases/+/${{ inputs.nonlto-sha }} (asserts)
35 branch: release_${{ env.RELEASE_VERSION }}
36 delete-branch: true
37 - name: Enable auto-merge
38 run: gh pr merge --squash --auto "${{ steps.cpr.outputs.pull-request-number }}"
39 env:
40 GH_TOKEN: ${{ secrets.EMSCRIPTEN_BOT_TOKEN }}