chore: bump toolchain to v4.33.0-rc2

Garmelon · Garmelon · commit 01216cbf13ac · 2026-08-03T15:15:32.000+02:00
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "56958b3901ca108830de34fbce6cecd4b5757c1f",
+   "rev": "006dc1d1db18c5dc73d637c926cf132e88df05b5",
    "name": "illuminate",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -15,7 +15,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "b1c4a69a7e247ab7df20460212001673d74f08c0",
+   "rev": "123d15766ba49356c02ebad2a4462dfe12d79899",
    "name": "plausible",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -35,7 +35,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "859ab80c32c5851151919a7d757d7c0c0b6e39d2",
+   "rev": "6b0b76cb79974cc1d43f988d26f7d3fa35e773cc",
    "name": "subverso",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.33.0-rc1
+leanprover/lean4:v4.33.0-rc2
diff --git a/test-projects/anchor-examples/lake-manifest.json b/test-projects/anchor-examples/lake-manifest.json
@@ -7,7 +7,7 @@
       "type": "git",
       "subDir": null,
       "scope": "",
-      "rev": "09b053f74253377ba2d51c5c379757ed237f17f9",
+      "rev": "f8a1991a3cc31fb61688f38429fb98396e3a9711",
       "name": "subverso",
       "manifestFile": "lake-manifest.json",
       "inputRev": "main",
diff --git a/test-projects/documented-package/lake-manifest.json b/test-projects/documented-package/lake-manifest.json
@@ -7,7 +7,7 @@
       "type": "git",
       "subDir": null,
       "scope": "",
-      "rev": "09b053f74253377ba2d51c5c379757ed237f17f9",
+      "rev": "f8a1991a3cc31fb61688f38429fb98396e3a9711",
       "name": "subverso",
       "manifestFile": "lake-manifest.json",
       "inputRev": "main",
diff --git a/test-projects/literate-config/lake-manifest.json b/test-projects/literate-config/lake-manifest.json
@@ -52,7 +52,7 @@
       "type": "git",
       "subDir": null,
       "scope": "",
-      "rev": "859ab80c32c5851151919a7d757d7c0c0b6e39d2",
+      "rev": "6b0b76cb79974cc1d43f988d26f7d3fa35e773cc",
       "name": "subverso",
       "manifestFile": "lake-manifest.json",
       "inputRev": "main",
diff --git a/test-projects/literate-config/lean-toolchain b/test-projects/literate-config/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.33.0-rc1
+leanprover/lean4:v4.33.0-rc2
diff --git a/test-projects/literate-multi-root/lake-manifest.json b/test-projects/literate-multi-root/lake-manifest.json
@@ -52,7 +52,7 @@
       "type": "git",
       "subDir": null,
       "scope": "",
-      "rev": "859ab80c32c5851151919a7d757d7c0c0b6e39d2",
+      "rev": "6b0b76cb79974cc1d43f988d26f7d3fa35e773cc",
       "name": "subverso",
       "manifestFile": "lake-manifest.json",
       "inputRev": "main",
diff --git a/test-projects/literate-multi-root/lean-toolchain b/test-projects/literate-multi-root/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.33.0-rc1
+leanprover/lean4:v4.33.0-rc2
diff --git a/test-projects/website-examples/lake-manifest.json b/test-projects/website-examples/lake-manifest.json
@@ -6,7 +6,7 @@
       "url": "https://github.com/leanprover/subverso",
       "type": "git",
       "subDir": null,
-      "rev": "09b053f74253377ba2d51c5c379757ed237f17f9",
+      "rev": "f8a1991a3cc31fb61688f38429fb98396e3a9711",
       "name": "subverso",
       "manifestFile": "lake-manifest.json",
       "inputRev": "main",
diff --git a/test-projects/website-literate/lake-manifest.json b/test-projects/website-literate/lake-manifest.json
@@ -7,7 +7,7 @@
       "type": "git",
       "subDir": null,
       "scope": "",
-      "rev": "09b053f74253377ba2d51c5c379757ed237f17f9",
+      "rev": "f8a1991a3cc31fb61688f38429fb98396e3a9711",
       "name": "subverso",
       "manifestFile": "lake-manifest.json",
       "inputRev": "main",

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-leanprover/lean4:v4.33.0-rc1`
	`1`	`+leanprover/lean4:v4.33.0-rc2`