diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index 6a4ea419..9bce7d26 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -19,4 +19,8 @@ jobs: - name: "Check for warnings emitted by xml2rfc" run: | - bash -c -o pipefail 'make |& (! grep -E "Warning|Error")' + bash -c -o pipefail <