Merge pull request #6 from skidder/skidder/tweak-5

tweak5
skidder · Nov 2, 2024 · 065e189 · 065e189
2 parents 66e55e3 + 8c73664
commit 065e189
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/.github/workflows/deps.yaml b/.github/workflows/deps.yaml
@@ -191,8 +191,13 @@ jobs:
           git config --local user.email "github-actions[bot]@users.noreply.github.com"
           git config --local user.name "github-actions[bot]"
           
-          # Force add the deps directories to override gitignore
-          git add -f deps/linux/* deps/osx/*
+          # Only force add the essential binary files and headers
+          git add -f \
+            deps/*/lib/*.so* \
+            deps/*/lib/*.dylib* \
+            deps/*/lib/*.a \
+            deps/*/include/**/*.h \
+            deps/*/build-info.json
           
           # Only commit if there are changes
           if ! git diff --cached --quiet; then