commit .gitignored libs

Aaron-Preus · Aaron-Preus · commit 2b85a5d6853f · 2025-12-18T18:11:54.000+01:00
diff --git a/.github/workflows/build-package.yml b/.github/workflows/build-package.yml
@@ -120,7 +120,7 @@ jobs:
           git config user.name "github-actions[bot]"
           git config user.email "github-actions[bot]@isas-packages@iar.kit.edu"
 
-          git add src/deterministic_gaussian_sampling/lib
+          git add -f src/deterministic_gaussian_sampling/lib
 
           if git diff --cached --quiet; then
             echo "No changes to commit"
