From e43664c4055330edb6465952204c4f52e30f2955 Mon Sep 17 00:00:00 2001 From: David Thrane Christiansen Date: Fri, 20 Sep 2024 08:06:09 +0200 Subject: [PATCH] doc: add Verso to release checklist process (#5372) This will help downstream users of Verso who aren't tracking Lean `master`. --- doc/dev/release_checklist.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/doc/dev/release_checklist.md b/doc/dev/release_checklist.md index 27e039499b..5541d5e2d5 100644 --- a/doc/dev/release_checklist.md +++ b/doc/dev/release_checklist.md @@ -71,6 +71,12 @@ We'll use `v4.6.0` as the intended release version as a running example. - Toolchain bump PR including updated Lake manifest - Create and push the tag - There is no `stable` branch; skip this step + - [Verso](https://github.com/leanprover/verso) + - Dependencies: exist, but they're not part of the release workflow + - The `SubVerso` dependency should be compatible with _every_ Lean release simultaneously, rather than following this workflow + - Toolchain bump PR including updated Lake manifest + - Create and push the tag + - There is no `stable` branch; skip this step - [import-graph](https://github.com/leanprover-community/import-graph) - Toolchain bump PR including updated Lake manifest - Create and push the tag