Update examples collection

emsdk-cache/emsdk-main/.github/stale.yml

@@ -0,0 +1,18 @@
+# Number of days of inactivity before an issue becomes stale
+daysUntilStale: 365
+# Number of days of inactivity before a stale issue is closed
+daysUntilClose: 30
+# Issues with these labels will never be considered stale
+exemptLabels:
+  - pinned
+  - security
+# Label to use when marking an issue as stale
+staleLabel: wontfix
+# Comment to post when marking an issue as stale. Set to `false` to disable
+markComment: >
+  This issue has been automatically marked as stale because there has been no
+  activity in the past year.  It will be closed automatically if no further
+  activity occurs in the next 30 days.  Feel free to re-open at any time if this
+  issue is still relevant.
+# Comment to post when closing a stale issue. Set to `false` to disable
+closeComment: false

emsdk-cache/emsdk-main/.github/workflows/create-release.yml

@@ -0,0 +1,40 @@
+name: Create Release PR
+
+on:
+  workflow_dispatch:
+    inputs:
+      lto-sha:
+        required: true
+        type: string
+      nonlto-sha:
+        required: true
+        type: string
+
+jobs:
+  create-release-pr:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout repo
+        uses: actions/checkout@v4
+      - name: Run create_release.py
+        run: python3 scripts/create_release.py -r ${{ inputs.lto-sha }} -a ${{ inputs.nonlto-sha }} --gh-action
+      - name: Create PR
+        id: cpr
+        uses: peter-evans/create-pull-request@v6
+        with:
+          token: ${{ secrets.EMSCRIPTEN_BOT_TOKEN }}
+          title: Release ${{ env.RELEASE_VERSION }}
+          commit-message: |
+            Release ${{ env.RELEASE_VERSION }}
+          team-reviewers: release-reviewers
+          labels: release
+          body: |
+            With emscripten-releases revisions:
+              https://chromium.googlesource.com/emscripten-releases/+/${{ inputs.lto-sha }} (LTO)
+              https://chromium.googlesource.com/emscripten-releases/+/${{ inputs.nonlto-sha }} (asserts)
+          branch: release_${{ env.RELEASE_VERSION }}
+          delete-branch: true
+      - name: Enable auto-merge
+        run: gh pr merge --squash --auto "${{ steps.cpr.outputs.pull-request-number }}"
+        env:
+          GH_TOKEN: ${{ secrets.EMSCRIPTEN_BOT_TOKEN }}

emsdk-cache/emsdk-main/.github/workflows/tag-release.yml

@@ -0,0 +1,78 @@
+# When a release commit created by create-release.yml is landed, create the
+# corresponding tag.
+name: Create release tag
+
+on:
+  push:
+    paths:
+      - emscripten-releases-tags.json
+      - .github/workflows/tag-release.yml
+    branches:
+      - main
+  workflow_dispatch:
+
+jobs:
+  tag-release:
+    # Only activate for commits created by the create-release.yml workflow.
+    # The assumption is that when manual changes happen, we want to handle
+    # tagging manually too.
+    name: Check for release commit and create tag
+    # The author is emscripten-bot when triggered from Chromium CI, and github-actions when manually triggered.
+    if: ${{ github.event.head_commit.author.username == 'github-actions[bot]' || github.event.head_commit.author.username == 'emscripten-bot' }}
+    runs-on: ubuntu-latest
+    outputs:
+      is_release: ${{ steps.create-tag.outputs.result }}
+    steps:
+      - name: Match message and create tag
+        id: create-tag
+        uses: actions/github-script@v7
+        with:
+          github-token: ${{ secrets.EMSCRIPTEN_BOT_TOKEN }}
+          # A commit with the message of the form 'Release X.Y.Z' is expected
+          # to have been created by create_release.py and update the latest
+          # release in emscripten-releases-tags.json
+          script: |
+            const message = `${{ github.event.head_commit.message }}`
+            const regex = /Release ([0-9]+.[0-9]+.[0-9]+)/;
+            const match = message.match(regex);
+            let is_release = false;
+            if (match) {
+              const release = match[1];
+              console.log(`Matched release ${release}`);
+              await github.rest.git.createRef({
+                owner: context.repo.owner,
+                repo: context.repo.repo,
+                ref: `refs/tags/${release}`,
+                sha: context.sha
+              });
+              is_release = true;
+            } else {
+              console.log(`Commit message: '${message}' did not match pattern`);
+            }
+            return is_release;
+
+  dispatch-emscripten-tag:
+    name: Dispatch workflow to tag emscripten repo
+    runs-on: ubuntu-latest
+    needs: tag-release
+    if: ${{ needs.tag-release.outputs.is_release == 'true' }}
+    steps:
+      - name: Checkout repo
+        uses: actions/checkout@v4
+      - name: Find emscripten revision
+        # get_emscripten_revision_info.py sets env.EMSCRIPTEN_HASH to the
+        # emscripten hash associated with the latest release in
+        # emscripten-releases-tags.json
+        run: python3 scripts/get_emscripten_revision_info.py
+      - name: Dispatch emscripten workflow
+        uses: actions/github-script@v7
+        with:
+          github-token: ${{ secrets.EMSCRIPTEN_BOT_TOKEN }}
+          script: |
+            await github.rest.actions.createWorkflowDispatch({
+              owner: context.repo.owner,
+              repo: 'emscripten',
+              workflow_id: 'tag-release.yml',
+              ref: 'main',
+              inputs: { 'release-sha': '${{ env.EMSCRIPTEN_HASH }}' }
+            });