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

emilyriehl · Feb 1, 2025 · 4c41361 · 4c41361
1 parent 16ed3d4
commit 4c41361
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -25,7 +25,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "01a1707b7dff363729b99ba566d378bc77c0df9d",
+   "rev": "74bf56fd21d80405dbf30378aea2a84da88787ef",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": null,
@@ -135,7 +135,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "9089cee37a32d51bc4aeea6506719a21b7a2d011",
+   "rev": "f133cf255b5f087ee6b34486b7f588970506640f",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",