Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

benchdev infrastructure changes #220

Closed
ardunn opened this issue Aug 14, 2019 · 1 comment
Closed

benchdev infrastructure changes #220

ardunn opened this issue Aug 14, 2019 · 1 comment

Comments

@ardunn
Copy link
Contributor

ardunn commented Aug 14, 2019

  1. Add fields for prediction and training times separately in the documents
  2. Rename
    a. benchmarks --> problems (e.g., problem_hash)
    b. builds --> benchmarks (e.g., benchmark_name)
@ardunn
Copy link
Contributor Author

ardunn commented Sep 6, 2019

not needed

@ardunn ardunn closed this as completed Sep 6, 2019
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant