Upload PDF as release asset

Author: btj

.github/workflows/build.yml

@@ -3,6 +3,8 @@ name: CI
 on:
   push:
   pull_request:
+  release:
+    types: [created]
 
   workflow_dispatch:
 
@@ -34,4 +36,25 @@ jobs:
       - uses: actions/upload-artifact@v4.5.0
         with:
           path: tutorial.pdf
+          name: tutorial
           if-no-files-found: error
+
+  release:
+    name: Upload PDF to release
+    if: ${{ github.event_name == 'release' && github.event.action == 'created' }}
+    runs-on: ubuntu-latest
+    needs: build
+    permissions:
+      contents: write
+
+    steps:
+      - name: Download PDF artifact
+        uses: actions/download-artifact@v5
+        with:
+          name: tutorial
+
+      - name: Upload PDF to release
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        run: |
+          gh release upload --repo ${{ github.event.repository.full_name }} ${{ github.event.release.tag_name }} tutorial.pdf --clobber