]> git.ipfire.org Git - thirdparty/Python/cpython.git/commitdiff
Enable the ABI check job to publish the updated ABI data file (GH-105103)
authorSteve Dower <steve.dower@python.org>
Tue, 30 May 2023 19:33:42 +0000 (20:33 +0100)
committerGitHub <noreply@github.com>
Tue, 30 May 2023 19:33:42 +0000 (20:33 +0100)
.github/workflows/build.yml

index 20df0923cde72f936bd0fe95706bffb9a7b049c9..2abbca468ef66c763ad33c4d5e86e995ad5585ca 100644 (file)
@@ -89,15 +89,28 @@ jobs:
           ./configure --enable-shared
           make -j4
       - name: Check for changes in the ABI
+        id: check
         run: |
           if ! make check-abidump; 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 "The up to date ABI file should be attached to this build as an artifact."
+            echo ""
+            echo "To learn more about this check: https://devguide.python.org/setup/#regenerate-the-abi-dump"
             echo ""
             exit 1
           fi
+      - name: Generate updated ABI files
+        if: ${{ failure() && steps.check.conclusion == 'failure' }}
+        run: |
+          make regen-abidump
+      - uses: actions/upload-artifact@v3
+        name: Publish updated ABI files
+        if: ${{ failure() && steps.check.conclusion == 'failure' }}
+        with:
+          name: abi-data
+          path: ./Doc/data/*.abi
 
   check_generated_files:
     name: 'Check if generated files are up to date'