Merge GitHub main and keep Linux WIP

2026-06-29 08:22:40 -05:00
parent c2e05c900f 7c006a7bb7
commit 534a28ece8
33 changed files with 1508 additions and 96 deletions
@@ -8,7 +8,7 @@ on:
  workflow_dispatch:
    inputs:
      version:
-        description: 'Release tag, e.g. v0.1.1 (the tag is created at the current commit on this branch)'
+        description: 'Release tag, e.g. v0.3.2.1 (the tag is created at the current commit on this branch)'
        required: true
        type: string
      prerelease:
@@ -42,7 +42,7 @@ jobs:
        shell: bash
        env:
          VERSION: ${{ inputs.version }}
-        run: npm version "${VERSION#v}" --no-git-tag-version --allow-same-version
+        run: node scripts/stamp-version.js "${VERSION#v}"

      - name: Configure Windows code signing
        shell: bash