From 672c97b7e6e8de3a12a976dfeb4646f7d1e5ebd0 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Mon, 12 Oct 2026 17:54:15 +0000 Subject: [PATCH] Refresh generated project statistics and attribution --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 1e7ebae129..af913a8149 100644 --- a/README.md +++ b/README.md @@ -24,7 +24,7 @@ from projects and files down to declarations and source lines. The the badge shows the date of the latest completed recording. -**300** formalization projects · **11,002,597** lines of Lean +**300** formalization projects · **11,002,595** lines of Lean (stats above are refreshed automatically by the [generated-metadata workflow](.github/workflows/notice.yml) — edit [`python/lean_pool/stats.py`](python/lean_pool/stats.py), not the numbers)