Generate PDF slides after HTML slides

.github/workflows/pages-pdf.yml

@@ -1,6 +1,12 @@
 name: Deploy HTML and PDF slides to Pages
 
 on:
+  # Runs after HTML deployment
+  workflow_run:
+    workflows: [Deploy HTML slides to Pages]
+    types:
+      - completed
+
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch:
 
@@ -12,6 +18,7 @@ permissions:
 
 jobs:
   pages-pdf:
+    if: ${{ github.event.workflow_run.conclusion == 'success' }}
     uses: ./.github/workflows/pages.yml
     with:
       include_pdf: true