From ff0a162f9bce0a4525205de9c679601c8002b1c5 Mon Sep 17 00:00:00 2001
From: leanprover-community-mathlib4-bot
 <leanprover-community-mathlib4-bot@users.noreply.github.com>
Date: Wed, 6 Nov 2024 19:43:16 +0000
Subject: [PATCH] Trigger CI for https://github.com/leanprover/lean4/pull/5945

---
 lake-manifest.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lake-manifest.json b/lake-manifest.json
index 59a1d265f3b10..59eeec1628d92 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "e2934629de66e429222863ad3eea981751ed532c",
+   "rev": "d29bf669ad16e793fdc2f8e8042e34096bbbe5a9",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "lean-pr-testing-5945",