Skip to content

Commit 5d0578a

Browse files
authored
Merge branch 'main' into main
2 parents f3d9f9d + d230ecc commit 5d0578a

File tree

1 file changed

+24
-4
lines changed

1 file changed

+24
-4
lines changed

.github/workflows/pr_style_bot.yml

Lines changed: 24 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -64,18 +64,38 @@ jobs:
6464
run: |
6565
pip install .[quality]
6666
67-
- name: Download Makefile from main branch
67+
- name: Download necessary files from main branch of Diffusers
6868
run: |
6969
curl -o main_Makefile https://raw.githubusercontent.com/huggingface/diffusers/main/Makefile
70+
curl -o main_setup.py https://raw.githubusercontent.com/huggingface/diffusers/refs/heads/main/setup.py
71+
curl -o main_check_doc_toc.py https://raw.githubusercontent.com/huggingface/diffusers/refs/heads/main/utils/check_doc_toc.py
7072
71-
- name: Compare Makefiles
73+
- name: Compare the files and raise error if needed
7274
run: |
75+
diff_failed=0
76+
7377
if ! diff -q main_Makefile Makefile; then
7478
echo "Error: The Makefile has changed. Please ensure it matches the main branch."
79+
diff_failed=1
80+
fi
81+
82+
if ! diff -q main_setup.py setup.py; then
83+
echo "Error: The setup.py has changed. Please ensure it matches the main branch."
84+
diff_failed=1
85+
fi
86+
87+
if ! diff -q main_check_doc_toc.py utils/check_doc_toc.py; then
88+
echo "Error: The utils/check_doc_toc.py has changed. Please ensure it matches the main branch."
89+
diff_failed=1
90+
fi
91+
92+
if [ $diff_failed -eq 1 ]; then
93+
echo "❌ Error happened as we detected changes in the files that should not be changed ❌"
7594
exit 1
7695
fi
77-
echo "No changes in Makefile. Proceeding..."
78-
rm -rf main_Makefile
96+
97+
echo "No changes in the files. Proceeding..."
98+
rm -rf main_Makefile main_setup.py main_check_doc_toc.py
7999
80100
- name: Run make style and make quality
81101
run: |

0 commit comments

Comments
 (0)