diff --git a/.github/workflows/server.yml b/.github/workflows/server.yml index c7be1dc7b..9e66fb68c 100644 --- a/.github/workflows/server.yml +++ b/.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