(test) add CI step for verifying build

.github/workflows/server.yml

@@ -76,6 +76,30 @@ jobs:
         run: |
           pip install -r examples/server/tests/requirements.txt
 
+      # Setup nodejs (to be used for verifying bundled index.html)
+      - uses: actions/setup-node@v4
+        with:
+          node-version: 22
+
+      - name: Verify bundled index.html
+        id: verify_server_index_html
+        run: |
+          git config --global --add safe.directory $(realpath .)
+          cd examples/server/webui
+          git ls-files --others --modified
+          git status
+          npm ci 
+          npm run build
+          git status
+          not_ignored_files="$(git ls-files --others --modified)"
+          echo "Modified files: ${not_ignored_files}"
+          if [ -n "${not_ignored_files}" ]; then
+            echo "Repository is dirty or server/webui is not built as expected"
+            echo "Hint: You may need to follow Web UI build guide in server/README.md"
+            echo "${not_ignored_files}"
+            exit 1
+          fi
+
       - name: Build (no OpenMP)
         id: cmake_build_no_openmp
         if: ${{ matrix.sanitizer == 'THREAD' }}

.gitignore

@@ -107,7 +107,6 @@ examples/server/*.mjs.hpp
 # Server Web UI temporary files
 node_modules
 examples/server/webui/dist
-examples/server/webui/package-lock.json
 
 # Python