CI updates

2025-05-10 13:55:49 +02:00
parent b728b0e021
commit d2e9db7112
3 changed files with 13 additions and 2 deletions
@@ -74,6 +74,13 @@ jobs:
        run: |
          make -C doc clean all
          if ! git diff --quiet; then git diff || true; fi # ignore diff error
+      - name: Clean up
+        shell: bash
+        run: |
+          git ls-files -z --others --ignored --exclude-standard ./src/stub | xargs -0r rm -v --
+          find ./src/stub/src -type d -name tmp -print0 | xargs -0r rmdir -v --
+          #git status --ignored ./src/stub || true
+          git status --ignored || true

  job-linux-cmake: # uses cmake + make
    if: true