chore: rename publish-platform-image → publish-workspace-server-image

Aligns CI workflow filename with the platform/ → workspace-server/ rename.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
This commit is contained in:
Hongming Wang 2026-04-18 01:05:09 -07:00
parent f82b09cb79
commit eafc413a43