deploy(ci): use API image for public editor app and add health smoke test

Author: mbertelsen

.github/workflows/docker-deploy.yml

@@ -73,7 +73,14 @@ jobs:
       - name: Deploy editor to App Service (container)
         if: ${{ steps.check-secrets.outputs.deploy_ready == 'true' }}
         run: |
-          az webapp config container set --name ${{ secrets.EDITOR_APP_NAME }} --resource-group ${{ secrets.RESOURCE_GROUP }} --docker-custom-image-name ${{ needs.build-and-push.outputs.registry }}/app-scripting-editor:latest
+          # Deploy the API image to the public editor App Service so the same hostname serves the SPA and the /api endpoints.
+          az webapp config container set --name ${{ secrets.EDITOR_APP_NAME }} --resource-group ${{ secrets.RESOURCE_GROUP }} --docker-custom-image-name ${{ needs.build-and-push.outputs.registry }}/app-scripting-editor-api:latest
+
+      - name: Set WEBSITES_PORT for editor (public) app
+        if: ${{ steps.check-secrets.outputs.deploy_ready == 'true' }}
+        run: |
+          echo "Setting WEBSITES_PORT=4000 for ${{ secrets.EDITOR_APP_NAME }}"
+          az webapp config appsettings set --name ${{ secrets.EDITOR_APP_NAME }} --resource-group ${{ secrets.RESOURCE_GROUP }} --settings WEBSITES_PORT=4000
 
       - name: Deploy editor-api to App Service (container)
         if: ${{ steps.check-secrets.outputs.deploy_ready == 'true' }}
@@ -103,3 +110,21 @@ jobs:
           echo "ERROR: editor-api did not become healthy"
           az webapp log tail --name ${{ secrets.EDITOR_API_APP_NAME }} --resource-group ${{ secrets.RESOURCE_GROUP }} &
           exit 1
+
+      - name: Smoke test public editor app
+        if: ${{ steps.check-secrets.outputs.deploy_ready == 'true' }}
+        run: |
+          host=$(az webapp show --name ${{ secrets.EDITOR_APP_NAME }} --resource-group ${{ secrets.RESOURCE_GROUP }} --query defaultHostName -o tsv)
+          echo "Testing https://$host/api/health"
+          for i in 1 2 3 4 5 6 7 8 9 10; do
+            status=$(curl -s -o /dev/null -w "%{http_code}" "https://$host/api/health" || echo "000")
+            if [ "$status" = "200" ]; then
+              echo "OK: public editor health returned 200"
+              exit 0
+            fi
+            echo "Attempt $i: status=$status; retrying in 5s..."
+            sleep 5
+          done
+          echo "ERROR: public editor did not become healthy"
+          az webapp log tail --name ${{ secrets.EDITOR_APP_NAME }} --resource-group ${{ secrets.RESOURCE_GROUP }} &
+          exit 1