ci: push annotated release tags and create GitHub Releases

git push --follow-tags skipped the lightweight tags, so releases left no
tags on origin and the Releases page stayed empty. Annotate the tag, push it
explicitly, and create a GitHub Release with generated notes.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

Author: OyaAIProd

.github/workflows/ci.yml

@@ -67,5 +67,18 @@ jobs:
           git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
           git add packages/core/package.json packages/server/package.json bun.lock
           git commit -m "release: v$VERSION [skip ci]"
-          git tag "v$VERSION"
-          git push --follow-tags
+          # Annotated tag pushed explicitly. `git push --follow-tags` silently skips
+          # lightweight tags, which is why earlier releases left no tags on origin.
+          git tag -a "v$VERSION" -m "v$VERSION"
+          git push origin HEAD:main
+          git push origin "v$VERSION"
+
+      - name: Create GitHub Release
+        env:
+          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        run: |
+          VERSION=$(node -p "require('./packages/core/package.json').version")
+          gh release create "v$VERSION" \
+            --title "v$VERSION" \
+            --generate-notes \
+            --verify-tag