Install pandoc in CI.

cmsc430 · Dec 17, 2024 · 47f6c10 · 47f6c10
1 parent 561a20a
commit 47f6c10
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -15,6 +15,10 @@ jobs:
       uses: actions/checkout@main
     - name: Install nasm
       run: sudo apt-get install nasm
+    - name: Install pandoc
+      run: |
+        curl -Ls https://github.com/jgm/pandoc/releases/download/2.11.2/pandoc-2.11.2-1-amd64.deb -o pandoc.deb
+        sudo dpkg -i pandoc.deb
     - name: Install Racket
       uses: Bogdanp/[email protected]
       with: