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

Generate Jello Paper as part of CI job #293

Open
ehildenb opened this Issue Jan 12, 2019 · 1 comment

Comments

Projects
None yet
2 participants
@ehildenb
Copy link
Collaborator

ehildenb commented Jan 12, 2019

Currently, we can auto-generate jellopaper.org as using make sphinx in the repository. Unfortunately, it's not auto-generated once master of this repository is updated, which it very well could be.

Instead of a PR job, it should be done whenever master is updated (deployment time, not CI time).

@bmann

This comment has been minimized.

Copy link

bmann commented Jan 13, 2019

Thanks! I'm going to point back to the EthMagicians thread from here, too --> https://ethereum-magicians.org/t/jello-paper-as-canonical-evm-spec/2389

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment