server: add LingBot-MAP SMT reconstruction pipeline.

.github/variables.env

@@ -1,6 +1,6 @@
 SPACEMIT_TOOLCHAIN_URL=https://github.com/spacemit-com/toolchain/releases/download/v1.1.2/spacemit-toolchain-linux-glibc-x86_64-v1.1.2.tar.xz
 SPACEMIT_ORT_URL=https://github.com/spacemit-com/onnxruntime/releases/download/2.0.2/spacemit-ort.riscv64.2.0.2.tar.gz
-SPACEMIT_MTMD_RELEASE_TAG=spacemit-llama.cpp.riscv64
+SPACEMIT_MTMD_PACKAGE_PREFIX=spacemit-llama.cpp.riscv64
 SPACEMIT_TOOLCHAIN_ARCHIVE=.cache/spacemit-toolchain.tar.xz
 SPACEMIT_ORT_ARCHIVE=.cache/spacemit-ort.tar.gz
 SPACEMIT_TOOLCHAIN_DIR=spacemit_toolchain

.github/workflows/build-spacemit-mtmd.yml

@@ -42,12 +42,14 @@ jobs:
             exit 1
           fi
 
-          SPACEMIT_MTMD_RELEASE_TAG="${SPACEMIT_MTMD_RELEASE_TAG}.${VERSION_NUMBER}"
+          SPACEMIT_MTMD_RELEASE_TAG="v${VERSION_NUMBER}"
+          SPACEMIT_MTMD_PACKAGE_NAME="${SPACEMIT_MTMD_PACKAGE_PREFIX}.${VERSION_NUMBER}"
 
           {
             echo "SPACEMIT_TOOLCHAIN_URL=${SPACEMIT_TOOLCHAIN_URL}"
             echo "SPACEMIT_ORT_URL=${SPACEMIT_ORT_URL}"
             echo "SPACEMIT_MTMD_RELEASE_TAG=${SPACEMIT_MTMD_RELEASE_TAG}"
+            echo "SPACEMIT_MTMD_PACKAGE_NAME=${SPACEMIT_MTMD_PACKAGE_NAME}"
             echo "SPACEMIT_TOOLCHAIN_ARCHIVE=${SPACEMIT_TOOLCHAIN_ARCHIVE}"
             echo "SPACEMIT_ORT_ARCHIVE=${SPACEMIT_ORT_ARCHIVE}"
             echo "SPACEMIT_TOOLCHAIN_DIR=${SPACEMIT_TOOLCHAIN_DIR}"
@@ -59,7 +61,9 @@ jobs:
           {
             echo "toolchain_url=${SPACEMIT_TOOLCHAIN_URL}"
             echo "ort_url=${SPACEMIT_ORT_URL}"
+            echo "version_number=${VERSION_NUMBER}"
             echo "release_tag=${SPACEMIT_MTMD_RELEASE_TAG}"
+            echo "package_name=${SPACEMIT_MTMD_PACKAGE_NAME}"
             echo "toolchain_archive=${SPACEMIT_TOOLCHAIN_ARCHIVE}"
             echo "ort_archive=${SPACEMIT_ORT_ARCHIVE}"
             echo "toolchain_dir=${SPACEMIT_TOOLCHAIN_DIR}"
@@ -228,8 +232,8 @@ jobs:
         shell: bash
         run: |
           set -euo pipefail
-          PACKAGE_DIR="release/${SPACEMIT_MTMD_RELEASE_TAG}"
-          ASSET_NAME="${SPACEMIT_MTMD_RELEASE_TAG}.tar.gz"
+          PACKAGE_DIR="release/${SPACEMIT_MTMD_PACKAGE_NAME}"
+          ASSET_NAME="${SPACEMIT_MTMD_PACKAGE_NAME}.tar.gz"
 
           rm -rf "$PACKAGE_DIR"
           mkdir -p "$PACKAGE_DIR"
@@ -240,17 +244,17 @@ jobs:
             find "$PACKAGE_DIR/bin" -maxdepth 1 \( -type f -o -type l \) \( -name 'test*' -o -name 'export-graph-ops*' \) -exec rm -f {} +
           fi
 
-          tar -czf "release/${ASSET_NAME}" -C release "${SPACEMIT_MTMD_RELEASE_TAG}"
+          tar -czf "release/${ASSET_NAME}" -C release "${SPACEMIT_MTMD_PACKAGE_NAME}"
 
       - name: Inspect package
         if: ${{ github.event_name == 'pull_request' || (github.event_name == 'push' && steps.release_guard.outputs.should_publish == 'true') }}
         shell: bash
         run: |
           set -euo pipefail
 
-          ASSET_NAME="${SPACEMIT_MTMD_RELEASE_TAG}.tar.gz"
+          ASSET_NAME="${SPACEMIT_MTMD_PACKAGE_NAME}.tar.gz"
           echo "Package tree:"
-          find "release/${SPACEMIT_MTMD_RELEASE_TAG}" -maxdepth 2 -print | sort
+          find "release/${SPACEMIT_MTMD_PACKAGE_NAME}" -maxdepth 2 -print | sort
           echo "Package archive:"
           tar -tzf "release/${ASSET_NAME}"
 
@@ -259,7 +263,7 @@ jobs:
         uses: actions/upload-artifact@v6
         with:
           name: spacemit-mtmd-package
-          path: release/${{ steps.vars.outputs.release_tag }}.tar.gz
+          path: release/${{ steps.vars.outputs.package_name }}.tar.gz
           if-no-files-found: error
           retention-days: 7
 
@@ -271,9 +275,11 @@ jobs:
           tag_name: ${{ steps.vars.outputs.release_tag }}
           name: ${{ steps.vars.outputs.release_tag }}
           target_commitish: ${{ github.sha }}
-          files: release/${{ steps.vars.outputs.release_tag }}.tar.gz
+          files: release/${{ steps.vars.outputs.package_name }}.tar.gz
           body: |
             SpacemiT MTMD build for `spacemit-mtmd`.
+            Version: `${{ steps.vars.outputs.version_number }}`
+            Package: `${{ steps.vars.outputs.package_name }}.tar.gz`
             Commit: `${{ github.sha }}`
           make_latest: false
           overwrite_files: true

.github/workflows/merge-pr-summary-comment.yml

@@ -0,0 +1,87 @@
+name: Comment merged PR summary
+
+on:
+  pull_request:
+    branches:
+      - spacemit-mtmd
+    types:
+      - closed
+
+permissions:
+  contents: read
+  pull-requests: read
+  issues: write
+
+jobs:
+  comment:
+    name: Comment merged PR summary
+    if: ${{ github.event.pull_request.merged == true }}
+    runs-on: ubuntu-24.04
+
+    steps:
+      - name: Comment commit summary
+        uses: actions/github-script@v8
+        with:
+          script: |
+            const pr = context.payload.pull_request;
+            const commits = await github.paginate(github.rest.pulls.listCommits, {
+              owner: context.repo.owner,
+              repo: context.repo.repo,
+              pull_number: pr.number,
+              per_page: 100,
+            });
+
+            const marker = '<!-- merge-pr-summary-comment -->';
+            const commitLines = commits.map((commit, index) => {
+              const shortSha = commit.sha.substring(0, 7);
+              const title = commit.commit.message.split('\n')[0];
+              return `${index + 1}. \`${shortSha}\` ${title}`;
+            });
+
+            const mergedBy = pr.merged_by ? pr.merged_by.login : context.actor;
+            const body = [
+              marker,
+              `### Merge PR Summary`,
+              ``,
+              `Merged PR #${pr.number}: ${pr.title}`,
+              ``,
+              `- Target branch: \`${pr.base.ref}\``,
+              `- Source branch: \`${pr.head.label}\``,
+              `- Merged by: @${mergedBy}`,
+              `- Merge commit: ${pr.merge_commit_sha ? '`${pr.merge_commit_sha}`' : 'unknown'}`,
+              `- Commit count: **${commits.length}**`,
+              ``,
+              `Commits:`,
+              ...commitLines,
+              ``,
+              `PR: ${pr.html_url}`,
+            ].join('\n');
+
+            const comments = await github.paginate(github.rest.issues.listComments, {
+              owner: context.repo.owner,
+              repo: context.repo.repo,
+              issue_number: pr.number,
+              per_page: 100,
+            });
+            const existing = comments.find(comment => comment.body && comment.body.includes(marker));
+
+            if (existing) {
+              await github.rest.issues.updateComment({
+                owner: context.repo.owner,
+                repo: context.repo.repo,
+                comment_id: existing.id,
+                body,
+              });
+            } else {
+              await github.rest.issues.createComment({
+                owner: context.repo.owner,
+                repo: context.repo.repo,
+                issue_number: pr.number,
+                body,
+              });
+            }
+
+            await core.summary
+              .addHeading(`Merge PR #${pr.number} summary`, 2)
+              .addCodeBlock(body.replace(marker + '\n', ''), 'text')
+              .write();

VERSION_NUMBER

@@ -1 +1 @@
-0.1.2
+0.1.3