2025-07-18 lean nightly update (#1465)

automatic update of mathlib + lean via GitHub action.

Co-authored-by: tobiasgrosser <[email protected]>

Author: tobiasgrosser

lake-manifest.json

@@ -25,10 +25,10 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "3935d86a432f8ffe32f17ea00c12e090cf1df6de",
+   "rev": "44e5df9a4f8aaaf07d6ff1be692c0cf06c1d48a6",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "nightly-testing-2025-07-17",
+   "inputRev": "nightly-testing-2025-07-18",
    "inherited": false,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover-community/plausible",
@@ -95,7 +95,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "508353d8699fd7f20613df9e968f16a0c5d7425e",
+   "rev": "414cf639742674ba0adeab75425ba818c153dd01",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "nightly-testing",

lakefile.toml

@@ -6,7 +6,7 @@ moreLeanArgs = ["--tstack=400000"]
 [[require]]
 name = "mathlib"
 git = "https://github.com/leanprover-community/mathlib4-nightly-testing"
-rev = "nightly-testing-2025-07-17"
+rev = "nightly-testing-2025-07-18"
 
 [[require]]
 name = "Cli"

lean-toolchain

@@ -1 +1 @@
-leanprover/lean4:nightly-2025-07-17
+leanprover/lean4:nightly-2025-07-18