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

feat(patterns): pattern-based compression #1564

Closed
wants to merge 1 commit into from

Conversation

erights
Copy link
Contributor

@erights erights commented Apr 26, 2023

Now that we have completed the migration of @agoric/patterns to @endo/patterns, we need to migrate old PRs that would have enhanced patterns in agoric-sdk to instead enhance patterns in endo. This PR does so for the patterns portion of Agoric/agoric-sdk#6432

@erights erights self-assigned this Apr 26, 2023
@erights erights force-pushed the markm-pattern-based-compression branch from d8d8d09 to 8792dbd Compare April 26, 2023 22:53
@erights erights force-pushed the markm-pattern-based-compression branch 2 times, most recently from 8e80a2c to 6679263 Compare April 27, 2023 06:40
@erights erights marked this pull request as ready for review April 27, 2023 06:40
@erights erights changed the title WIP feat(patterns): pattern-based compression feat(patterns): pattern-based compression Apr 27, 2023
@erights erights force-pushed the markm-pattern-based-compression branch 2 times, most recently from a629e71 to d20a5a9 Compare April 28, 2023 00:43
@erights erights force-pushed the markm-pattern-based-compression branch from d20a5a9 to 9b3b82b Compare May 9, 2023 01:36
@erights erights marked this pull request as draft May 9, 2023 05:14
@erights erights force-pushed the markm-pattern-based-compression branch 2 times, most recently from 8b65ae1 to 97c7e3c Compare May 10, 2023 06:16
@erights erights force-pushed the markm-pattern-based-compression branch from 97c7e3c to fb32199 Compare May 10, 2023 06:20
@erights
Copy link
Contributor Author

erights commented May 12, 2023

Closing in favor of #1584

@erights erights closed this May 12, 2023
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.

1 participant