From 8bb07f336daea461f1187d6336fef77cfe790f9a Mon Sep 17 00:00:00 2001 From: Kim Morrison <477956+kim-em@users.noreply.github.com> Date: Tue, 7 Apr 2026 18:54:42 +1000 Subject: [PATCH] chore: add leansqlite to release repos (#13293) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit This PR adds `leansqlite` to `release_repos.yml` and lists it as a dependency of `doc-gen4`, which requires it. 🤖 Prepared with Claude Code Co-authored-by: Claude Opus 4.6 (1M context) --- script/release_repos.yml | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/script/release_repos.yml b/script/release_repos.yml index 9e627c91f7..44a21b3e76 100644 --- a/script/release_repos.yml +++ b/script/release_repos.yml @@ -28,6 +28,14 @@ repositories: branch: main dependencies: [] + - name: leansqlite + url: https://github.com/leanprover/leansqlite + toolchain-tag: true + stable-branch: false + branch: main + dependencies: + - plausible + - name: verso url: https://github.com/leanprover/verso toolchain-tag: true @@ -100,7 +108,7 @@ repositories: toolchain-tag: true stable-branch: false branch: main - dependencies: [lean4-cli, BibtexQuery, mathlib4] + dependencies: [lean4-cli, BibtexQuery, mathlib4, leansqlite] - name: cslib url: https://github.com/leanprover/cslib