diff --git a/.gitea/workflows/publish-workspace-server-image.yml b/.gitea/workflows/publish-workspace-server-image.yml index 0e04397e..7385de98 100644 --- a/.gitea/workflows/publish-workspace-server-image.yml +++ b/.gitea/workflows/publish-workspace-server-image.yml @@ -234,6 +234,8 @@ jobs: name: Production auto-deploy needs: build-and-push if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }} + # Side-effect deploy only; image publish success is the durable artifact. mc#774 + continue-on-error: true # Publish/release lane (internal#462) — production deploy of a merged # fix; reserved capacity, never queued behind PR-CI. runs-on: publish