Merge 86768fcd83 into 12f2da15ee

.github/workflows/update-empty-branch.yml

@@ -1,18 +0,0 @@
-name: update-empty-branch
-on:
-  workflow_dispatch:
-jobs:
-  main:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v4
-        with:
-          fetch-depth: 0
-      - run: |
-          git worktree add --track -b empty empty origin/empty
-          rm -rf empty/*
-          git config user.name bot
-          git config user.email '<>'
-          git -C empty add --all
-          git -C empty commit --allow-empty --message "based on $(git rev-parse @)"
-          git -C empty push origin empty

.github/workflows/update-latest-release.yml

@@ -5,25 +5,18 @@ jobs:
   main:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v4
       - run: echo ok > hello.txt
-      # - uses: actions/github-script@v6
+      - uses: actions/github-script@v6
-      #   with:
+        with:
-      #     script: |
+          script: |
-      #       const { data: release } = await github.rest.repos.getLatestRelease(context.repo);
+            const { data: release } = await github.rest.repos.getLatestRelease(context.repo);
 
-      #       const name = "hello.txt";
+            const name = "hello.txt";
-      #       const data = await require("node:fs").promises.readFile(name);
+            const data = await require("node:fs").promises.readFile(name);
 
-      #       await github.rest.repos.uploadReleaseAsset({
+            await github.rest.repos.uploadReleaseAsset({
-      #         ...context.repo,
+              ...context.repo,
-      #         release_id: release.id,
+              release_id: release.id,
-      #         name,
+              name,
-      #         data,
+              data,
-      #       });
+            });
-      - run: |
-          latest=$(gh release view --json tagName --jq .tagName)
-          gh release delete-asset "${latest}" hello.txt || :
-          gh release upload "${latest}" hello.txt
-        env:
-          GH_TOKEN: ${{ github.token }}