remove duplicated git diff

arkedge · Oct 12, 2023 · be0f27d · be0f27d
1 parent 59f5896
commit be0f27d
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/check_code_generation.yml b/.github/workflows/check_code_generation.yml
@@ -32,6 +32,5 @@ jobs:
           git add .
           if ! git diff --exit-code --cached; then
             echo "threre are some diff after code generation"
-            git diff HEAD
             exit 1
           fi