File tree 1 file changed +14
-1
lines changed 1 file changed +14
-1
lines changed Original file line number Diff line number Diff line change @@ -89,15 +89,28 @@ jobs:
89
89
./configure --enable-shared
90
90
make -j4
91
91
- name : Check for changes in the ABI
92
+ id : check
92
93
run : |
93
94
if ! make check-abidump; then
94
95
echo "Generated ABI file is not up to date."
95
96
echo "Please, add the release manager of this branch as a reviewer of this PR."
96
97
echo ""
97
- echo "To learn more about this check, please visit: https://devguide.python.org/setup/?highlight=abi#regenerate-the-abi-dump"
98
+ echo "The up to date ABI file should be attached to this build as an artifact."
99
+ echo ""
100
+ echo "To learn more about this check: https://devguide.python.org/setup/#regenerate-the-abi-dump"
98
101
echo ""
99
102
exit 1
100
103
fi
104
+ - name : Generate updated ABI files
105
+ if : ${{ failure() && steps.check.conclusion == 'failure' }}
106
+ run : |
107
+ make regen-abidump
108
+ - uses : actions/upload-artifact@v3
109
+ name : Publish updated ABI files
110
+ if : ${{ failure() && steps.check.conclusion == 'failure' }}
111
+ with :
112
+ name : abi-data
113
+ path : ./Doc/data/*.abi
101
114
102
115
check_generated_files :
103
116
name : ' Check if generated files are up to date'
You can’t perform that action at this time.
0 commit comments