From fd437d7ac83c90239c799558a234d237ed0aa454 Mon Sep 17 00:00:00 2001 From: Samuel Schlesinger Date: Wed, 28 Oct 2026 02:22:25 +0000 Subject: [PATCH] fix(docs): synchronize cslib documentation lockfiles after pin bump (#1397) --- docbuild/lake-manifest.json | 4 ++-- guide/lake-manifest.json | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/docbuild/lake-manifest.json b/docbuild/lake-manifest.json index 233875179..3609d26b5 100644 --- a/docbuild/lake-manifest.json +++ b/docbuild/lake-manifest.json @@ -73,10 +73,10 @@ "type": "git", "subDir": null, "scope": "", - "rev": "6ff325e870ed89f86be10515f0e7297fa5a32845", + "rev": "f4a472560f78c59bbedd795fe041ec507f7d0582", "name": "cslib", "manifestFile": "lake-manifest.json", - "inputRev": "6ff325e870ed89f86be10515f0e7297fa5a32845", + "inputRev": "f4a472560f78c59bbedd795fe041ec507f7d0582", "inherited": true, "configFile": "lakefile.toml"}, {"url": "https://github.com/leanprover-community/mathlib4", diff --git a/guide/lake-manifest.json b/guide/lake-manifest.json index 198a2fdd4..b8da10f21 100644 --- a/guide/lake-manifest.json +++ b/guide/lake-manifest.json @@ -73,10 +73,10 @@ "type": "git", "subDir": null, "scope": "", - "rev": "6ff325e870ed89f86be10515f0e7297fa5a32845", + "rev": "f4a472560f78c59bbedd795fe041ec507f7d0582", "name": "cslib", "manifestFile": "lake-manifest.json", - "inputRev": "6ff325e870ed89f86be10515f0e7297fa5a32845", + "inputRev": "f4a472560f78c59bbedd795fe041ec507f7d0582", "inherited": true, "configFile": "lakefile.toml"}, {"url": "https://github.com/leanprover-community/mathlib4",