also create library for releases

pierre-24 · Aug 6, 2024 · 25a3e15 · 25a3e15
1 parent e5af114
commit 25a3e15
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/publish-library.yml b/.github/workflows/publish-library.yml
@@ -3,6 +3,7 @@ name: Publish library in (pre-)release
 on:
   push:
     branches: [ master, dev ]
+    tags: [ 'v*' ]
 
 jobs:
   build:
@@ -36,6 +37,6 @@ jobs:
           repo_token: ${{ secrets.GITHUB_TOKEN }}
           file: library.h5
           asset_name: latest_library.h5
-          tag: ${{ github.ref }}
+          tag: ${{ github.ref_name }}
           overwrite: true
           body: "Stable release"