From ff5100ee8b74df1c94e22d54ea6557eb946e9b33 Mon Sep 17 00:00:00 2001
From: Adrien Champion <adrien.champion@protonmail.com>
Date: Thu, 11 Jun 2026 10:57:40 +0200
Subject: [PATCH 1/2] feat(ci): workflow for new release on lean version update

---
 .github/workflows/lean_action_ci.yml          |  4 ++++
 .../workflows/release_on_lean_update_ci.yml   | 22 +++++++++++++++++++
 2 files changed, 26 insertions(+)
 create mode 100644 .github/workflows/release_on_lean_update_ci.yml

diff --git a/.github/workflows/lean_action_ci.yml b/.github/workflows/lean_action_ci.yml
index c48bd68..2848d19 100644
--- a/.github/workflows/lean_action_ci.yml
+++ b/.github/workflows/lean_action_ci.yml
@@ -1,8 +1,12 @@
+# based on https://github.com/leanprover/lean-action/blob/HEAD/README.md
+
 name: Lean Action CI
 
 on:
   push:
+    branches: ["main"]
   pull_request:
+    branches: ["main"]
   workflow_dispatch:
 
 jobs:
diff --git a/.github/workflows/release_on_lean_update_ci.yml b/.github/workflows/release_on_lean_update_ci.yml
new file mode 100644
index 0000000..d084280
--- /dev/null
+++ b/.github/workflows/release_on_lean_update_ci.yml
@@ -0,0 +1,22 @@
+# base on https://github.com/leanprover-community/lean-release-tag/blob/HEAD/README.md
+
+on:
+  push:
+    branches:
+      - 'main'
+      - 'master'
+    paths:
+      - 'lean-toolchain'
+
+jobs:
+  lean-release-tag:
+    name: Add Lean release tag
+    runs-on: ubuntu-latest
+    permissions:
+      contents: write
+    steps:
+    - name: lean-release-tag action
+      uses: leanprover-community/lean-release-tag@v1
+      with:
+        do-release: true
+        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
\ No newline at end of file

From ce34af5da0c63ca61632453b39d942ec68b5a823 Mon Sep 17 00:00:00 2001
From: Adrien Champion <adrien.champion@protonmail.com>
Date: Thu, 11 Jun 2026 11:00:30 +0200
Subject: [PATCH 2/2] feat(ci): run tests and check reservoir eligibility in
 action

---
 .github/workflows/lean_action_ci.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/lean_action_ci.yml b/.github/workflows/lean_action_ci.yml
index 2848d19..4ad49a0 100644
--- a/.github/workflows/lean_action_ci.yml
+++ b/.github/workflows/lean_action_ci.yml
@@ -10,9 +10,13 @@ on:
   workflow_dispatch:
 
 jobs:
-  build:
+  build_and_test:
     runs-on: ubuntu-latest
 
     steps:
       - uses: actions/checkout@v5
       - uses: leanprover/lean-action@v1
+        with:
+          build: true
+          test: true
+          check-reservoir-eligibility: true