[pull] main from coder:main #308

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Merged

pull merged 4 commits into PterX:main from coder:main

Jul 31, 2025

pull bot commented Jul 31, 2025 •

edited

Loading

See Commits and Changes for more details.

Created by pull[bot] (v2.0.0-alpha.3)

Can you help keep this open source service alive? 💖 Please sponsor : )

aslilac and others added 4 commits

July 31, 2025 07:52


          chore: add workspace-sharing experiment (#19106)

ed62ddc


          chore(agent/agentcontainers): test current prebuilds integration (#19074

ddb5b87

)

As it turns out, prebuilds + devcontainers appear to already work
together. This PR has created a test that simulates a prebuild claim
happening to `agentcontainers.API`, to see how we handle it.


          feat: add workspace sharing page (#19107)

1cffd11


          docs: remove deprecated JFrog Xray integration documentation (#19113)

8b43503

pull bot locked and limited conversation to collaborators

pull bot added the ⤵️ pull label

pull bot merged commit 8b43503 into PterX:main

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels