From e0b13c946e9c3805f1eec785c72955e103a9cbaf Mon Sep 17 00:00:00 2001 From: Kim Morrison Date: Fri, 27 Sep 2024 16:33:31 +1000 Subject: [PATCH] chore: add lake-manifest.json when updating batteries-pr-testing branches (#965) --- .github/workflows/test_mathlib.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/test_mathlib.yml b/.github/workflows/test_mathlib.yml index d6ae30146b..15062cb521 100644 --- 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