fix: Remove Release CI, can do manually (#7)

GitHub now offers a comprehensive changelog builder as part of the
release creation flow.

This is simple and a good alternative to wiring multiple GitHub Actions
together to trigger on a git tag push.

.github/workflows/ci.yml

@@ -31,33 +31,3 @@ jobs:
 
       - name: Run unit tests
         run: cd tests && make
-
-  release:
-    runs-on: ubuntu-latest
-    needs: [build]
-    if: startsWith(github.ref, 'refs/tags/')
-    steps:
-      - name: Checkout
-        uses: actions/checkout@v3
-
-      - name: Extract tag
-        id: extract_tag
-        run: echo ::set-output name=TAG::${GITHUB_REF#refs/tags/}
-
-      - name: Extract repository
-        id: extract_repo
-        run: echo ::set-output name=REPO::${GITHUB_REPOSITORY##*/}
-
-      - name: Generate changelog
-        id: generate_changelog
-        uses: metcalfc/[email protected]
-        with:
-          myToken: ${{ secrets.GITHUB_TOKEN }}
-
-      - name: Release
-        uses: softprops/action-gh-release@v1
-        env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-        with:
-          body: |
-            ${{ steps.generate_changelog.outputs.changelog }}