fix ci

Author: ngxson

.github/workflows/server.yml

@@ -86,17 +86,16 @@ jobs:
         run: |
           git config --global --add safe.directory $(realpath .)
           cd examples/server/webui
-          git ls-files --others --modified
           git status
-          npm ci 
+          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
+          modified_files="$(git status -s)"
+          echo "Modified files: ${modified_files}"
+          if [ -n "${modified_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}"
+            echo "${modified_files}"
             exit 1
           fi