diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index 52902d84..2798e8e2 100644 --- a/.github/workflows/push.yml +++ b/.github/workflows/push.yml @@ -63,8 +63,8 @@ jobs: - name: Verify no lint disabled in the new code run: | NEW_CODE=$(git diff origin/main..$(git branch --show-current) | grep -e '^+') - CHEAT=$(echo "${NEW_CODE}" | grep '# pylint: disable') - if [ -n "${CHEAT}" ]; then + CHEAT=$(echo "${NEW_CODE}" | grep '# pylint: disable' | grep -v "CHEAT" | wc -c) + if [ "${CHEAT}" -ne 0 ]; then echo "Do not cheat the linter: ${CHEAT}" exit 1 fi