use updated docs action in CI.yml

gap-packages · Nov 29, 2023 · 76eb0b2 · 76eb0b2
1 parent 1b3a806
commit 76eb0b2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -64,6 +64,7 @@ jobs:
       - uses: dimpase/build-pkg-docs@v1
         with:
           use-latex: 'true'
+          use-xetex-and-metapost: 'true'
       - name: 'Upload documentation'
         uses: actions/upload-artifact@v3
         with: