Export commit updating built docs as patch/bundle instead of diff

Also upload the patch/bundle as an artifact.
piskvorky · Mar 18, 2023 · 272b346 · 272b346
1 parent 74c531c
commit 272b346
Showing 1 changed file with 13 additions and 1 deletion.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -50,7 +50,19 @@ jobs:
         run: |
           python setup.py build_ext --inplace
           make -C docs/src clean html
-          git diff --exit-code
+          git add .
+          git commit -m 'Import documentation changes'
+          git format-patch @^
+          git bundle create fix-links.bundle @^...@
+
+      - name: Upload patch/bundle as artifacts
+        if: always()
+        uses: actions/upload-artifact@v3
+        with:
+          name: fix-links-get-patch
+          path: |
+            *.patch
+            *.bundle
       #
       # FIXME: do we want to store the built documentation somewhere, or is
       # knowing that the docs built successfully enough?