Merge remote-tracking branch 'phymbert/master' into hp/server/deps-ch…

…eck-TMP-OK # Conflicts: # .github/workflows/server.yml
phymbert · Mar 31, 2024 · 6432269 · 6432269
2 parents 3d7d06c + 561c8b8
commit 6432269
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/server.yml b/.github/workflows/server.yml
@@ -70,8 +70,12 @@ jobs:
         run: |
           git config --global --add safe.directory $(realpath .)
           cd examples/server
+          git ls-files --others --modified
+          git status
           ./deps.sh
+          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 deps are not built as expected"
             echo "${not_ignored_files}"