chore: add lake-manifest.json when updating batteries-pr-testing bran…

…ches (#965)
leanprover-community · Sep 27, 2024 · e0b13c9 · e0b13c9
1 parent e023a81
commit e0b13c9
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/test_mathlib.yml b/.github/workflows/test_mathlib.yml
@@ -85,6 +85,7 @@ jobs:
             git switch batteries-pr-testing-$PR_NUMBER
             git merge "$BASE" --strategy-option ours --no-commit --allow-unrelated-histories
             lake update batteries
+            git add lake-manifest.json
             git commit --allow-empty -m "Trigger CI for https://github.com/leanprover-community/batteries/pull/$PR_NUMBER"
           fi