build-pkg-docs: ignore warnings for now

Author: fingolfin

.github/workflows/CI.yml

@@ -58,6 +58,7 @@ jobs:
       - uses: gap-actions/build-pkg-docs@v1
         with:
           use-latex: 'true'
+          warnings-as-errors: 'false'  # disable warnings: too many labels multiply defined
       - name: 'Upload documentation'
         uses: actions/upload-artifact@v4
         with:

.github/workflows/release.yml

@@ -27,6 +27,7 @@ jobs:
       - uses: gap-actions/build-pkg-docs@v2
         with:
           use-latex: true
+          warnings-as-errors: 'false'  # disable warnings: too many labels multiply defined
       - name: Run .release script
         run: |
           ./.release