From 242dad064363029d50640907e7191e74a4a66fc7 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Wed, 4 Nov 2026 18:01:12 +0000 Subject: [PATCH 1/2] Initial plan From dbfe21c363d4457e71375818b19b55361b6586e8 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Wed, 4 Nov 2026 18:03:24 +0000 Subject: [PATCH 2/2] Retry transient Pages deployment failures Co-authored-by: JerrettDavis <2610199+JerrettDavis@users.noreply.github.com> --- .github/workflows/docs.yml | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 16169231..0b543901 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -23,7 +23,7 @@ jobs: publish-docs: environment: name: github-pages - url: ${{ steps.deployment.outputs.page_url }} + url: ${{ steps.deployment.outputs.page_url || steps.deployment_retry_1.outputs.page_url || steps.deployment_retry_2.outputs.page_url }} runs-on: ubuntu-latest steps: - name: Checkout @@ -48,4 +48,14 @@ jobs: path: 'docs/_site' - name: Deploy to GitHub Pages id: deployment + continue-on-error: true + uses: actions/deploy-pages@v5 + - name: Retry Pages deployment + id: deployment_retry_1 + if: ${{ !cancelled() && steps.deployment.outcome == 'failure' }} + continue-on-error: true + uses: actions/deploy-pages@v5 + - name: Retry Pages deployment again + id: deployment_retry_2 + if: ${{ !cancelled() && steps.deployment_retry_1.outcome == 'failure' }} uses: actions/deploy-pages@v5