Skip to content

[Merged by Bors] - Delete uncompressed genesis states #2092

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
Closed
michaelsproul wants to merge 1 commit into from
Closed

[Merged by Bors] - Delete uncompressed genesis states #2092

michaelsproul wants to merge 1 commit into from

Conversation

@michaelsproul
Copy link
Member

@michaelsproul michaelsproul commented Dec 15, 2020

Issue Addressed

Replaces #2091

Proposed Changes

@michaelsproul michaelsproul added ready-for-review The code is ready for review infra-ci labels Dec 15, 2020
@michaelsproul michaelsproul mentioned this pull request Dec 15, 2020
Closed
AgeManning
AgeManning approved these changes Dec 16, 2020
View reviewed changes
Copy link
Member

@AgeManning AgeManning left a comment

Choose a reason for hiding this comment

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

LGTM

bors r+

@michaelsproul michaelsproul added ready-for-merge This PR is ready to merge. and removed ready-for-review The code is ready for review labels Dec 16, 2020
bors bot pushed a commit that referenced this pull request Dec 16, 2020
@michaelsproul
Delete uncompressed genesis states (#2092)
da1c5fe 
## Issue Addressed

Replaces #2091

## Proposed Changes

* Delete the uncompressed genesis states from `eth2_network_config` after they were merged accidentally in #2029.
* Tweak the build script to not overwrite `genesis.ssz` on every build, which caused spurious rebuilds.
@bors
Copy link

bors bot commented Dec 16, 2020

Pull request successfully merged into unstable.

Build succeeded:

@bors bors bot changed the title Delete uncompressed genesis states [Merged by Bors] - Delete uncompressed genesis states Dec 16, 2020
@bors bors bot closed this Dec 16, 2020
@michaelsproul michaelsproul deleted the delete-genesis-states branch February 15, 2021 21:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@AgeManning AgeManning AgeManning approved these changes

Assignees

No one assigned

Labels

infra-ci ready-for-merge This PR is ready to merge.

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@michaelsproul @AgeManning