Build and upload manual in CI

au-ts · Jul 7, 2023 · 4827ca9 · 4827ca9
1 parent 407aa18
commit 4827ca9
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -6,6 +6,21 @@ on:
     branches: [ "main" ]
 
 jobs:
+  build_manual:
+    name: Build VMM manual
+    runs-on: ubuntu-20.04
+    steps:
+      - name: Checkout seL4CP VMM repository
+        uses: actions/checkout@v3
+      - name: Install pandoc/latex via apt
+        run: sudo apt update && sudo apt install -y pandoc texlive-latex-base texlive-fonts-recommended texlive-formats-extra
+      - name: Convert manual from Markdown to PDF
+        run: pandoc docs/MANUAL.md -f gfm -o MANUAL.pdf
+      - name: Upload manual PDF
+        uses: actions/upload-artifact@v3
+        with:
+          name: MANUAL
+          path: MANUAL.pdf
   build_linux_x86_64:
     name: Build and run VMM examples (Linux x86-64)
     # Don't want any forks or PRs to run this workflow