-
Notifications
You must be signed in to change notification settings - Fork 92
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
Record runs #232
Record runs #232
Conversation
Just to clarify before I merge:
|
Don't merge yet! I just put this up to be public about my progress, but I want to check off all those things in my todo first before merging. |
Ah, thanks. Maybe for future PRs like this make that status a little more obvious for me? |
Sure, the WIP in the title means "work in progress" aka not ready yet |
Ah! Great & thanks for cluing me in. |
12ae9a8
to
8f8d92c
Compare
1533d9a
to
98ffb7c
Compare
I tried to be as minimally invasive to the code base as possible. There is still some progress to make on this (as documented on discourse), but I think this is in a good enough shape to merge. I have been using this branch and it has been working out. |
eebe625
to
eb2296f
Compare
eb2296f
to
d3ba884
Compare
All this needs to happen before I encourage anyone to start trying this out:
uuid
,problem-file
,name
,generation
,status
uuid
->index
,best-error
best-generalization-error
proto-repl-sayid
depsici-recorder