Publish PDF files as a GitHub release

Author: pol-rivero

.github/workflows/render.yml

@@ -5,7 +5,7 @@ on:
     branches: [main]
 
 permissions:
-  contents: read
+  contents: write
 
 jobs:
   build-pdfs:
@@ -66,3 +66,33 @@ jobs:
           path: "*.pdf"
           if-no-files-found: error
           retention-days: 14
+
+  release:
+    runs-on: ubuntu-latest
+    needs: build-pdfs
+
+    steps:
+      - name: Download PDFs
+        uses: actions/download-artifact@v4
+        with:
+          name: latex-pdfs
+
+      - name: Prepare release files
+        run: |
+          mkdir -p release
+          for pdf in *.pdf; do
+            if [[ ! "$pdf" =~ ^T0 ]]; then
+              cp "$pdf" release/
+            fi
+          done
+          ls -la release/
+
+      - name: Create or Update Release
+        uses: softprops/action-gh-release@v1
+        with:
+          tag_name: latest
+          name: Course slides
+          body: "Automatic release with the latest changes from the `main` branch"
+          files: release/*.pdf
+          draft: false
+          prerelease: false