diff --git a/.github/workflows/lean_action_ci.yml b/.github/workflows/lean_action_ci.yml
index 4ad49a0..24df614 100644
--- a/.github/workflows/lean_action_ci.yml
+++ b/.github/workflows/lean_action_ci.yml
@@ -20,3 +20,9 @@ jobs:
           build: true
           test: true
           check-reservoir-eligibility: true
+      - name: Upload Release Artifact
+        if: github.event_name == 'release'
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          TAG: ${{ github.event.release.tag_name }}
+        run: lake upload $TAG
diff --git a/.github/workflows/release_on_lean_update_ci.yml b/.github/workflows/release_on_lean_update_ci.yml
index 7f298ef..dfe2a84 100644
--- a/.github/workflows/release_on_lean_update_ci.yml
+++ b/.github/workflows/release_on_lean_update_ci.yml
@@ -4,7 +4,6 @@ on:
   push:
     branches:
       - 'main'
-      - 'master'
     paths:
       - 'lean-toolchain'
 
@@ -19,10 +18,4 @@ jobs:
       uses: leanprover-community/lean-release-tag@v1
       with:
         do-release: true
-        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-    - name: Upload Release Artifact
-      if: github.event_name == 'release'
-      env:
-        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-        TAG: ${{ github.event.release.tag_name }}
-      run: lake upload $TAG
\ No newline at end of file
+        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
\ No newline at end of file