Try another plugin (#13)

This time automate tag creation (hopefully with sha as a version).

.github/workflows/pr.yml

@@ -3,6 +3,9 @@ name: Build for PR
 on:
   pull_request:
     branches: [ "main" ]
+    paths-ignore:
+      - devops
+      - '**/*.github' # doesn't work
 
 env:
   CARGO_TERM_COLOR: always

.github/workflows/release.yml

@@ -37,9 +37,20 @@ jobs:
           echo '### Enclave Image Measurement' >> $GITHUB_STEP_SUMMARY
           cat target/release/enclave_measurement.txt >> $GITHUB_STEP_SUMMARY
 
+      - name: Bump version and push tag
+        id: tag_version
+        uses: mathieudutour/[email protected]
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          pre_release_branches: main
+          append_to_pre_release_tag: test
+          custom_tag: ${{ github.sha }}
+
       - name: Make release
         uses: ncipollo/release-action@v1
         with:
           artifacts: target/release/service, target/release/glove.eif
           makeLatest: true
           prerelease: true # For now
+          tag: ${{ steps.tag_version.outputs.new_tag }}
+          name: Release ${{ steps.tag_version.outputs.new_tag }}