Skip to content
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.

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

fix replace-packages script #9296

Draft
wants to merge 1 commit into
base: master
Choose a base branch
from
Draft

fix replace-packages script #9296

wants to merge 1 commit into from

Conversation

turadg
Copy link
Member

@turadg turadg commented Apr 26, 2024

refs: #9290

Description

One of the things to shake out of #9290. replace-packages.sh isn't part of any CI and is rarely used at all, but I need it for #8774 to accomodate endojs/endo@bef388e

Security Considerations

Scaling Considerations

Documentation Considerations

Testing Considerations

Upgrade Considerations

@turadg turadg requested review from kriskowal and michaelfig April 26, 2024 19:44
Copy link

cloudflare-workers-and-pages bot commented Apr 26, 2024

Deploying agoric-sdk with  Cloudflare Pages  Cloudflare Pages

Latest commit: ddb7703
Status: ✅  Deploy successful!
Preview URL: https://675f522b.agoric-sdk.pages.dev
Branch Preview URL: https://ta-replace-scripts.agoric-sdk.pages.dev

View logs

@turadg turadg added the automerge:rebase Automatically rebase updates, then merge label Apr 26, 2024
@turadg turadg force-pushed the ta/replace-scripts branch from 0a27f54 to ddb7703 Compare April 26, 2024 22:42
@turadg
Copy link
Member Author

turadg commented Apr 28, 2024

This is failing integration because agoric-sdk can't build topologically: #9300

I think I'll leave the build:types workaround alone.

@turadg turadg marked this pull request as draft April 28, 2024 02:23
Copy link

@turadg - This PR appears to be stuck. It's had a merge label for > 24 hours

@turadg turadg removed the automerge:rebase Automatically rebase updates, then merge label Apr 29, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants