diff options
| author | Pablo Galindo Salgado <Pablogsal@gmail.com> | 2022-06-22 16:59:54 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-22 16:59:54 (GMT) |
| commit | 0dadb2249a8bafa7c5877daa08c9452f2248958a (patch) | |
| tree | 68b7a0bbc240fe0d051325fc92f4e2b648fa1d1b | |
| parent | 3ece6e6feb44b334cd759ead970e877bbd126892 (diff) | |
| download | cpython-0dadb2249a8bafa7c5877daa08c9452f2248958a.zip cpython-0dadb2249a8bafa7c5877daa08c9452f2248958a.tar.gz cpython-0dadb2249a8bafa7c5877daa08c9452f2248958a.tar.bz2 | |
[3.11] Add an error message to the ABI-dump file check (#94129)
| -rw-r--r-- | .github/workflows/build.yml | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 8de1734..70cafd8 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -76,7 +76,16 @@ jobs: ./configure --enable-shared make -j4 - name: Check for changes in the ABI - run: make check-abidump + run: | + make check-abidump + if [ $? -neq 0 ] ; then + echo "Generated ABI file is not up to date." + echo "Please, add the release manager of this branch as a reviewer of this PR." + echo "" + echo "To learn more about this check, please visit: https://devguide.python.org/setup/?highlight=abi#regenerate-the-abi-dump" + echo "" + exit 1 + fi check_generated_files: name: 'Check if generated files are up to date' |