diff --git a/.github/workflows/release_on_lean_update_ci.yml b/.github/workflows/release_on_lean_update_ci.yml
index d084280..7f298ef 100644
--- a/.github/workflows/release_on_lean_update_ci.yml
+++ b/.github/workflows/release_on_lean_update_ci.yml
@@ -19,4 +19,10 @@ jobs:
       uses: leanprover-community/lean-release-tag@v1
       with:
         do-release: true
-        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
\ No newline at end of file
+        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