diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index 6a4ea419..af14f756 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -18,5 +18,4 @@ jobs: run: "bash -c '! grep -r --file=rejected_dictionary draft-irtf-cfrg-vdaf.md poc'" - name: "Check for warnings emitted by xml2rfc" - run: | - bash -c -o pipefail 'make |& (! grep -E "Warning|Error")' + run: .github/workflows/make-with-lints.sh diff --git a/.github/workflows/make-with-lints.sh b/.github/workflows/make-with-lints.sh new file mode 100755 index 00000000..34249a4b --- /dev/null +++ b/.github/workflows/make-with-lints.sh @@ -0,0 +1,7 @@ +#!/bin/bash + +set -e + +make |& \ + grep -v 'Warning: Found SVG with width or height specified, which will make the artwork not scale. Specify a viewBox only to let the artwork scale.' | \ + (! grep -E "Warning|Error")