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.

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

Add support for saving checkpoints to disk #116

Open
philippjfr opened this issue Jun 12, 2018 · 1 comment
Open

Add support for saving checkpoints to disk #116

philippjfr opened this issue Jun 12, 2018 · 1 comment
Assignees
@philippjfr @kcpevey
Milestone
Wishlist

Comments

@philippjfr
Copy link
Contributor

In #110 we add a checkpoint and restore tool. There should be some way of persisting the saved checkpoints to disk and loading them again in a subsequent session.
@jbednar jbednar added ready and removed in progress labels Jun 18, 2018
@kcpevey kcpevey self-assigned this May 6, 2019
@kcpevey
Copy link
Collaborator

kcpevey commented May 6, 2019

Assigning myself to this for testing.

@kcpevey kcpevey added this to the Wishlist milestone Oct 19, 2020
@kcpevey kcpevey removed the wishlist label Oct 19, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@philippjfr philippjfr

@kcpevey kcpevey

Labels
None yet
Projects
None yet
Milestone
Wishlist
Development

No branches or pull requests
3 participants
@philippjfr @jbednar @kcpevey