Skip to content

Commit 6a47856

Browse files
committed
1 parent 719d0ce commit 6a47856

File tree

1 file changed

+5
-0
lines changed

1 file changed

+5
-0
lines changed

.github/workflows/pr_style_bot.yml

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -89,6 +89,11 @@ jobs:
8989
diff_failed=1
9090
fi
9191
92+
if [ $diff_failed -eq 1 ]; then
93+
echo "❌ Error happened as we detected changes in the files that should not be changed ❌"
94+
exit 1
95+
fi
96+
9297
echo "No changes in the files. Proceeding..."
9398
rm -rf main_Makefile main_setup.py main_check_doc_toc.py
9499

0 commit comments

Comments
 (0)