ci: server: fix the git ls-files

Author: phymbert

.github/workflows/server.yml

@@ -71,7 +71,7 @@ jobs:
           git config --global --add safe.directory $(realpath .)
           cd examples/server
           ./deps.sh
-          not_ignored_files="$(git ls-files --others)"
+          not_ignored_files="$(git ls-files --others --modified)"
           if [ -n "${not_ignored_files}" ]; then
             echo "Repository is dirty or server deps are not built as expected"
             echo "${not_ignored_files}"