diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index f772bc6..fd19010 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -55,7 +55,7 @@ jobs: steps: - uses: actions/checkout@v5 - uses: gap-actions/setup-gap@v2 - - uses: gap-actions/build-pkg-docs@v1 + - uses: gap-actions/build-pkg-docs@v2 with: use-latex: 'true' - name: 'Upload documentation' diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 817e909..c6daf12 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -26,7 +26,7 @@ jobs: - uses: gap-actions/setup-gap@v2 with: GAP_PKGS_TO_BUILD: json - - uses: gap-actions/build-pkg-docs@v1 + - uses: gap-actions/build-pkg-docs@v2 with: use-latex: true - uses: gap-actions/release-pkg@v1