Update manifest from lake update

Author: yisiox

TraceTheory/lake-manifest.json

@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "bcade54d9088c912c3b874cb69feade074cd30ea",
+   "rev": "2255913443eedeb84ccfc8c2dbf6778adfb4486d",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -75,7 +75,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "ab9f3956f91980e61bea324c0cf1e9e7d9c8518b",
+   "rev": "1f22a4f44c1726b61fab3c2c75e0651f35c795dc",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",