CI updates

2025-06-26 11:30:46 +02:00
parent ca97430db2
commit 7e4e6a3cb1
2 changed files with 5 additions and 1 deletions
@@ -61,7 +61,7 @@ jobs:
        run: |
          export PATH="$(readlink -en ../deps/bin-upx-20221212):$PATH"
          make -C src/stub maintainer-clean extra-clean
-          git status || true
+          git status || true # make sure the stub files got deleted
          make -C src/stub extra-all all
          if ! git diff --quiet; then git diff; exit 1; fi
      - run: bash ./misc/scripts/check_whitespace_git.sh