chore: bump toolchain to v4.26.0-rc2 (#31877)

Author: kim-em

lake-manifest.json

@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "ec4a54b5308c1f46b4b52a9c62fb67d193aa0972",
+   "rev": "74835c84b38e4070b8240a063c6417c767e551ae",
    "name": "plausible",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -25,7 +25,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "7ff87023a8e1b358d2d01c1bc56b040a60609577",
+   "rev": "6e3bb4bf31f731ab28891fe229eb347ec7d5dad3",
    "name": "importGraph",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -35,17 +35,17 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "894c511d39bf442636bcba085245a1cf2bbdf665",
+   "rev": "2aaad968dd10a168b644b6a5afd4b92496af4710",
    "name": "proofwidgets",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v0.0.81",
+   "inputRev": "v0.0.82",
    "inherited": false,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover-community/aesop",
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "c00943d5ff28c6dc623dbc24f8d659a9d3a3d29a",
+   "rev": "9c70abdd9215b76019340fad65138e2e8d21843e",
    "name": "aesop",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -55,7 +55,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "1be06a278c3c249edafb722bfb278622024929d8",
+   "rev": "a31845b5557fd5e47d52b9e2977a1b0eff3c38c3",
    "name": "Qq",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -65,7 +65,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "c278d4e94fe43bc38da4966795dc0c72538e68ab",
+   "rev": "afe9302d9243cee630b0be95322b38b90342ddbf",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -75,10 +75,10 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover",
-   "rev": "00fad25fa9bedece1f1f988ab9c180dfe3d535b3",
+   "rev": "7e1ced9e049a4fab2508980ec4877ca9c46dffc9",
    "name": "Cli",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.26.0-rc1",
+   "inputRev": "v4.26.0-rc2",
    "inherited": true,
    "configFile": "lakefile.toml"}],
  "name": "mathlib",

lakefile.lean

@@ -9,7 +9,7 @@ open Lake DSL
 require "leanprover-community" / "batteries" @ git "main"
 require "leanprover-community" / "Qq" @ git "master"
 require "leanprover-community" / "aesop" @ git "master"
-require "leanprover-community" / "proofwidgets" @ git "v0.0.81" -- ProofWidgets should always be pinned to a specific version
+require "leanprover-community" / "proofwidgets" @ git "v0.0.82" -- ProofWidgets should always be pinned to a specific version
   with NameMap.empty.insert `errorOnBuild
     "ProofWidgets not up-to-date. \
     Please run `lake exe cache get` to fetch the latest ProofWidgets. \

lean-toolchain

@@ -1 +1 @@
-leanprover/lean4:v4.26.0-rc1
+leanprover/lean4:v4.26.0-rc2