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

Re-add a CoreEval proposal to a3p-integration #8907

Merged
merged 2 commits into from
Feb 13, 2024
Merged

Conversation

mhofman
Copy link
Member

@mhofman mhofman commented Feb 13, 2024

refs: #8801

Description

Re-lands f864dd3 which was reverted in #8905, but with the submission automatically generated instead of being checked in.

Security Considerations

None

Scaling Considerations

None

Documentation Considerations

Code example of a3p core eval proposal

Testing Considerations

None

Upgrade Considerations

This is to simulate a core eval that would happen independently of an upgrade, but still generated from the agoric-sdk release

@mhofman mhofman added the force:integration Force integration tests to run on PR label Feb 13, 2024
@mhofman mhofman requested a review from turadg February 13, 2024 20:29
#!/bin/bash
set -ueo pipefail

sdkroot=$(cd -- "$(dirname "$0")/.." >/dev/null && pwd)
Copy link
Member

Choose a reason for hiding this comment

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

doesn't this have the same issue as motivated you to revert the previous? people can also forget to update this script. moreover, if they do manually update the submission, this will overwrite it.

however, this is (as was the previous commit imo) better than the status quo so I approve.

Copy link
Member Author

Choose a reason for hiding this comment

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

doesn't this have the same issue as motivated you to revert the previous? people can also forget to update this script.

The problem in the previous attempt was that the submission would get out of sync with the code in the repo. Here the submission is re-generated every time a3p-integration builds.

Yes adding or changing the shape of new a3p proposal requires to update this script, but that's much less frequent.

moreover, if they do manually update the submission, this will overwrite it.

The submission is git excluded. If the submission needs editing for some reason, it should be automated in the script that generates it.

@mhofman mhofman added the automerge:rebase Automatically rebase updates, then merge label Feb 13, 2024
@mergify mergify bot merged commit c839fb4 into master Feb 13, 2024
78 checks passed
@mergify mergify bot deleted the mhofman/reland-8801 branch February 13, 2024 20:54
mhofman pushed a commit that referenced this pull request Feb 18, 2024
Re-add a CoreEval proposal to a3p-integration
mhofman pushed a commit that referenced this pull request Feb 18, 2024
Re-add a CoreEval proposal to a3p-integration
mhofman pushed a commit that referenced this pull request Feb 19, 2024
Re-add a CoreEval proposal to a3p-integration
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 force:integration Force integration tests to run on PR
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants