chore: bump version to 4.28.0

markusdemedeiros · markusdemedeiros · commit 54081c69df00 · 2026-02-20T13:51:08.000-05:00
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "509ad12ac4efd70d96418b481521296f9619bcf0",
+   "rev": "bf4cd323a0d088f361a94fcadb8db5cf1e9f3768",
    "name": "Qq",
    "manifestFile": "lake-manifest.json",
    "inputRev": "stable",
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.27.0
+leanprover/lean4:v4.28.0
