From 094b21c2b1c575b29a56cefd746733e61d86e923 Mon Sep 17 00:00:00 2001
From: Adrien Champion <adrien.champion@protonmail.com>
Date: Thu, 11 Jun 2026 11:16:42 +0200
Subject: [PATCH] feat(ci): upload compilation artefacts on release

---
 .github/workflows/release_on_lean_update_ci.yml | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

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