fix(pages): retry deploy-pages on transient GitHub failures

Author: dl-alexandre

.github/workflows/pages.yml

@@ -31,6 +31,31 @@ jobs:
         uses: actions/upload-pages-artifact@v5
         with:
           path: './docs'
-      - name: Deploy to GitHub Pages
-        id: deployment
+      - name: Deploy to GitHub Pages (attempt 1)
+        id: deploy1
+        uses: actions/deploy-pages@v5
+        continue-on-error: true
+      - name: Deploy to GitHub Pages (attempt 2)
+        id: deploy2
+        if: steps.deploy1.outcome != 'success'
         uses: actions/deploy-pages@v5
+        continue-on-error: true
+      - name: Deploy to GitHub Pages (attempt 3)
+        id: deploy3
+        if: steps.deploy1.outcome != 'success' && steps.deploy2.outcome != 'success'
+        uses: actions/deploy-pages@v5
+        continue-on-error: true
+      - name: Resolve deployment result
+        id: deployment
+        if: always()
+        run: |
+          if [ "${{ steps.deploy1.outcome }}" = "success" ]; then
+            echo "page_url=${{ steps.deploy1.outputs.page_url }}" >> "$GITHUB_OUTPUT"
+          elif [ "${{ steps.deploy2.outcome }}" = "success" ]; then
+            echo "page_url=${{ steps.deploy2.outputs.page_url }}" >> "$GITHUB_OUTPUT"
+          elif [ "${{ steps.deploy3.outcome }}" = "success" ]; then
+            echo "page_url=${{ steps.deploy3.outputs.page_url }}" >> "$GITHUB_OUTPUT"
+          else
+            echo "Pages deployment failed after 3 attempts"
+            exit 1
+          fi