ci: Add Release workflow (release notes only)

.github/workflows/lint.yml

@@ -45,7 +45,7 @@ jobs:
             echo "Cargo.lock is out of date"
             {
               echo "## Cargo.lock is out of date"
-              echo 'Run `cargo check` locally and commit the updated `Cargo.lock`.'
+              echo 'Run "cargo check" locally and commit the updated Cargo.lock.'
             } >> "$GITHUB_STEP_SUMMARY"
             echo "::group::Cargo.lock diff"
             git diff -- Cargo.lock

.github/workflows/release.yml

@@ -0,0 +1,20 @@
+name: Release
+
+on:
+  push:
+    tags:
+      - "**[0-9]+.[0-9]+.[0-9]+*"
+
+jobs:
+  release:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
+
+      - name: Create GitHub Release
+        uses: ncipollo/release-action@caacf56b56ba217c4eaf0a9deb59dbcdd12abfcd
+        with:
+          draft: ${{ github.event_name == 'pull_request' }}
+          tag: ${{ github.ref_name }}
+          generateReleaseNotes: true
+          prerelease: ${{ contains(github.ref_name, '-pre') }}