Skip to content

Commit 17e656b

Browse files
committed
Disable warnings for gap-actions/build-pkg-docs
We get errors triggered by the GAP reference manual and I have no idea what causes them or how to deal with them. E.g.: Section: "ref:specialpcgs" already defined as: 45.13.0 Now being redefined as: 45.13.2
1 parent 3e90408 commit 17e656b

File tree

2 files changed

+16
-0
lines changed

2 files changed

+16
-0
lines changed

.github/workflows/CI.yml

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -58,6 +58,14 @@ jobs:
5858
- uses: gap-actions/build-pkg-docs@v1
5959
with:
6060
use-latex: 'true'
61+
warnings-as-errors: 'false'
62+
# Disable warnings as we we get errors triggered by the GAP
63+
# reference manual and I have no idea what causes them or how to
64+
# deal with them. E.g.:
65+
#
66+
# Section: "ref:specialpcgs" already defined as: 45.13.0
67+
# Now being redefined as: 45.13.2
68+
6169
- name: 'Upload documentation'
6270
uses: actions/upload-artifact@v4
6371
with:

.github/workflows/release.yml

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -25,6 +25,14 @@ jobs:
2525
- uses: gap-actions/build-pkg-docs@v1
2626
with:
2727
use-latex: true
28+
warnings-as-errors: false
29+
# Disable warnings as we we get errors triggered by the GAP
30+
# reference manual and I have no idea what causes them or how to
31+
# deal with them. E.g.:
32+
#
33+
# Section: "ref:specialpcgs" already defined as: 45.13.0
34+
# Now being redefined as: 45.13.2
35+
2836
- uses: gap-actions/release-pkg@v1
2937
with:
3038
dry-run: ${{ inputs.dry-run }}

0 commit comments

Comments
 (0)