Skip to content

ci: fix agy-acp binary artifact collision with source directory#988

Merged
thepagent merged 1 commit into
mainfrom
fix/agy-acp-artifact-path
Jun 3, 2026
Merged

ci: fix agy-acp binary artifact collision with source directory#988
thepagent merged 1 commit into
mainfrom
fix/agy-acp-artifact-path

Conversation

@thepagent
Copy link
Copy Markdown
Collaborator

Problem

The build-binary job does:

docker cp "$CID:/build/target/release/agy-acp" agy-acp

But agy-acp/ already exists as a source directory in the repo checkout. When docker cp targets a path that's already a directory, it copies the file into it as agy-acp/agy-acp rather than creating a file at that path.

Then upload-artifact with path: agy-acp uploads the entire directory (source code + nested binary). On download to .pre-built/, agy-acp is a directory — not a binary. The COPY --from=adapter-builder succeeds (copies a directory) but which agy-acp fails because it's not an executable file.

This is why the antigravity smoke test fails with:

docker run --rm --entrypoint which openab-test-antigravity agy-acp
Process completed with exit code 1

Fix

Stage all binaries into a dedicated .binaries/ directory before uploading, avoiding name collisions with any repo directories.

Related

docker cp to a path that already exists as a directory copies the file
INTO that directory instead of creating a file at that path. Since
agy-acp/ is a source directory in the repo, the binary ended up at
agy-acp/agy-acp and the artifact upload grabbed the whole directory.

Fix by staging all binaries into .binaries/ before upload.
@github-actions github-actions Bot added the closing-soon PR missing Discord Discussion URL — will auto-close in 3 days label Jun 3, 2026
@github-actions
Copy link
Copy Markdown

github-actions Bot commented Jun 3, 2026

⚠️ This PR is missing a Discord Discussion URL in the body.

All PRs must reference a prior Discord discussion to ensure community alignment before implementation.

Please edit the PR description to include a link like:

Discord Discussion URL: https://discord.com/channels/...

This PR will be automatically closed in 3 days if the link is not added.

@thepagent thepagent merged commit 5769af0 into main Jun 3, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

closing-soon PR missing Discord Discussion URL — will auto-close in 3 days

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant