chore: publish tag with release

Author: lucarin91

.github/workflows/release.yml

@@ -9,17 +9,14 @@ env:
 
 on:
   workflow_dispatch:
-  push:
-    tags:
-      - '*'
 
 jobs:
   build:
     name: build
     runs-on:
       ubuntu-latest
     permissions:
-      contents: read 
+      contents: read
     strategy:
       matrix:
         config:
@@ -242,6 +239,15 @@ jobs:
           path: ${{ env.DIST_DIR }}
           merge-multiple: true 
 
+      - name: Tag release to bind tag and commit
+        env:
+          TAG: ${{ env.REPO_REF }}-${{ github.run_number }}
+        run: |
+          git config --global user.email "arduinobot@arduino.cc"
+          git config --global user.name "ArduinoBot"
+          git tag ${{ env.TAG }} -m "${{ env.TAG }}"
+          git push origin ${{ env.TAG }}
+
       - name: Create Github Release and upload artifacts
         uses: ncipollo/release-action@v1
         with: