Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

Commit 0dadb22

Browse filesBrowse files
authored
[3.11] Add an error message to the ABI-dump file check (#94129)
1 parent 3ece6e6 commit 0dadb22
Copy full SHA for 0dadb22

File tree

1 file changed

+10
-1
lines changed
Filter options

1 file changed

+10
-1
lines changed

‎.github/workflows/build.yml

Copy file name to clipboardExpand all lines: .github/workflows/build.yml
+10-1Lines changed: 10 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -76,7 +76,16 @@ jobs:
7676
./configure --enable-shared
7777
make -j4
7878
- name: Check for changes in the ABI
79-
run: make check-abidump
79+
run: |
80+
make check-abidump
81+
if [ $? -neq 0 ] ; then
82+
echo "Generated ABI file is not up to date."
83+
echo "Please, add the release manager of this branch as a reviewer of this PR."
84+
echo ""
85+
echo "To learn more about this check, please visit: https://devguide.python.org/setup/?highlight=abi#regenerate-the-abi-dump"
86+
echo ""
87+
exit 1
88+
fi
8089
8190
check_generated_files:
8291
name: 'Check if generated files are up to date'

0 commit comments

Comments
0 (0)
Morty Proxy This is a proxified and sanitized view of the page, visit original site.