Separate Build and Deploy Workflows

.github/workflows/build.yaml

@@ -0,0 +1,24 @@
+name: Build
+on:
+  workflow_dispatch:
+  pull_request:
+  push:
+    branches: [main]
+jobs:
+  build-document:
+    name: Build Document
+    runs-on: ubuntu-latest
+    steps:
+      - name: Check Out
+        uses: actions/[email protected]
+
+      - name: Compile Document
+        uses: xu-cheng/[email protected]
+        with:
+          root_file: main.tex
+
+      - name: Upload Artifact
+        uses: actions/[email protected]
+        with:
+          name: proposal-ta
+          path: main.pdf

.github/workflows/ci.yml → .github/workflows/deploy.yaml

@@ -1,49 +1,38 @@
-name: CI
+name: Deploy
 on:
   workflow_dispatch:
-  pull_request:
   push:
     branches: [main]
 jobs:
-  compile:
-    name: Compile
+  deploy-pages:
+    name: Deploy Pages
     runs-on: ubuntu-latest
+    permissions:
+      id-token: write
+      pages: write
+    environment:
+      name: github-pages
+      url: ${{ steps.deploy-pages.outputs.page_url }}
+    concurrency:
+      group: pages
+      cancel-in-progress: false
     steps:
-      - name: Checkout
-        uses: actions/[email protected].6
+      - name: Check Out
+        uses: actions/[email protected].5
 
-      - name: Compile document
+      - name: Compile Document
         uses: xu-cheng/[email protected]
         with:
           root_file: main.tex
 
-      - name: Rename document
+      - name: Rename Document
         run: mkdir dist && mv main.pdf dist/proposal-ta.pdf
 
-      - name: Upload Pages artifact
+      - name: Upload Artifact
         uses: actions/[email protected]
         with:
           path: dist
 
-  deploy:
-    name: Deploy
-    if: github.event_name != 'pull_request'
-    needs: compile
-    runs-on: ubuntu-latest
-    permissions:
-      contents: read
-      pages: write
-      id-token: write
-    environment:
-      name: github-pages
-      url: ${{ steps.deployment.outputs.page_url }}
-    concurrency:
-      group: pages
-      cancel-in-progress: false
-    steps:
-      - name: Configure Pages
-        uses: actions/[email protected]
-
-      - name: Deploy to Pages
-        id: deployment
+      - name: Deploy Pages
+        id: deploy-pages
         uses: actions/[email protected]