File tree Expand file tree Collapse file tree 1 file changed +13
-0
lines changed Expand file tree Collapse file tree 1 file changed +13
-0
lines changed Original file line number Diff line number Diff line change @@ -78,15 +78,28 @@ jobs:
7878 ./configure --enable-shared
7979 make -j4
8080 - name : Check for changes in the ABI
81+ id : check
8182 run : |
8283 if ! make check-abidump; then
8384 echo "Generated ABI file is not up to date."
8485 echo "Please add the release manager of this branch as a reviewer of this PR."
8586 echo ""
87+ echo "The up to date ABI file should be attached to this build as an artifact."
88+ echo ""
8689 echo "To learn more about this check: https://devguide.python.org/setup/#regenerate-the-abi-dump"
8790 echo ""
8891 exit 1
8992 fi
93+ - name : Generate updated ABI files
94+ if : ${{ failure() && steps.check.conclusion == 'failure' }}
95+ run : |
96+ make regen-abidump
97+ - uses : actions/upload-artifact@v4
98+ name : Publish updated ABI files
99+ if : ${{ failure() && steps.check.conclusion == 'failure' }}
100+ with :
101+ name : abi-data
102+ path : ./Doc/data/*.abi
90103
91104 check_generated_files :
92105 name : ' Check if generated files are up to date'
You can’t perform that action at this time.
0 commit comments