diff --git a/.github/workflows/lean_action_ci.yml b/.github/workflows/lean_action_ci.yml
index c48bd68..4ad49a0 100644
--- a/.github/workflows/lean_action_ci.yml
+++ b/.github/workflows/lean_action_ci.yml
@@ -1,14 +1,22 @@
+# 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:
-  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
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