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

refactor(inter-protocol): jessie-check where easy #7486

Merged
merged 1 commit into from
Apr 24, 2023

Conversation

erights
Copy link
Member

@erights erights commented Apr 24, 2023

Adds @jessie-check directives to inter-protocol src/**/*.js files when doing so has zero problems.

See
#3876
#5497
#7481
#7487

@erights erights requested review from turadg and dckc April 24, 2023 05:35
@erights erights self-assigned this Apr 24, 2023
Copy link
Member

@dckc dckc left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This looks good except...

Staged on #7481

I'd rather not gate this on changes to swingset etc.

Copy link
Member

@turadg turadg left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'd rather not gate this on changes to swingset etc.

IMO the changes here are fine insofar as they pass CI. Since it can't merge without that I'll approve.

I don't know whether #7481 should get in before vaults release but these checks are (slightly) useful for inter protocol confidence.

@erights erights changed the base branch from markm-errors-sans-new to master April 24, 2023 18:11
@erights
Copy link
Member Author

erights commented Apr 24, 2023

turns out that this PR and #7481 happened to be disjoint, so proceeding on this one independently.

@erights erights added the automerge:rebase Automatically rebase updates, then merge label Apr 24, 2023
@erights
Copy link
Member Author

erights commented Apr 24, 2023

This looks good except...

Staged on #7481

I'd rather not gate this on changes to swingset etc.

Unstaged

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
automerge:rebase Automatically rebase updates, then merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants