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