[create-pull-request] automated change (#224)

Co-authored-by: pitmonticone <[email protected]>
ImperialCollegeLondon · Nov 19, 2024 · 902bef2 · 902bef2
1 parent fed5e57
commit 902bef2
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "b100ff2565805e9f30a482788b3fc66937a7f38a",
+   "rev": "01f4969b6e861db6a99261ea5eadd5a9bb63011b",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -55,7 +55,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "b0b73e5bc33f1bc4d3c0f254630dd0e262cecc08",
+   "rev": "119b022b3ea88ec810a677888528e50f8144a26e",
    "name": "importGraph",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -85,7 +85,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "bcef7c52e813ca9512e907874ef563520147faf2",
+   "rev": "955e8f97a6372ceeeb97f4acc87f71ae1fea7d85",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": null,