Fix Shardok push: don't use --platforms for push script (#4787)

The push script runs on the host (macOS) and needs native tools like jq.
Using --platforms=//:linux_x86_64 caused it to try running Linux binaries.

The image is already built for Linux; the push just uploads it.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-authored-by: Claude Opus 4.5 <noreply@anthropic.com>
This commit is contained in:
2025-12-23 13:57:30 -08:00
committed by GitHub
co-authored by Claude Opus 4.5
parent d7e29eeb89
commit b8599d9088
+3 -1
View File
@@ -79,4 +79,6 @@ jobs:
if: github.event_name == 'push' || (github.event_name == 'workflow_dispatch' && github.event.inputs.push_images == 'true')
env:
DOCKER_CONFIG: ${{ github.workspace }}/.docker
run: bazel run --platforms=//:linux_x86_64 //ci:shardok_server_push
# Note: Don't use --platforms here. The image is already built for Linux,
# but the push script runs on the host (macOS) and needs native tools.
run: bazel run //ci:shardok_server_push