Automatically tag HAL releases

.github/workflows/release-crates.yml

@@ -66,17 +66,27 @@ jobs:
             )
           done
 
+      - uses: actions/checkout@v4
+        with:
+          ssh-key: ${{ secrets.ATSAMD_BOT_SSH_PRIVKEY }}
+
       - name: Release HAL crate
         if: github.event.inputs.release_hal == 'yes'
         shell: bash
         run: |
           set -ex
 
+          sudo apt-get install python3-pip && pip install tomlkit
+
           # Force update of the registry
           cargo update || true
 
           cd "hal" && cargo publish --no-verify
 
+          version=$(python3 ../.github/workflows/crate_version.py Cargo.toml)
+          git tag -a "v${version}" -m "atsamd-hal release v${version}"
+          git push origin tag "v${version}"
+
 
       - name: Release BSP crates
         if: github.event.inputs.release_bsp == 'yes'