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.

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

Flaky data collection. Closes #249 #255

Merged
merged 9 commits into from
Sep 15, 2023
Merged

Commits on Sep 14, 2023

  1. Configuration menu
    Copy the full SHA
    97195e9 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    8814564 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    fad2e0a View commit details
    Browse the repository at this point in the history
  4. Made manager request of collect non-blocking from the Worker side. No…

    …w the worker sends a collection completion confirmation via a new Manager route. Also restructured the Manager routine to be more fault-tolerant to single worker failure.
    edavalosanaya committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    af814fe View commit details
    Browse the repository at this point in the history
  5. Finish updating tests.

    edavalosanaya committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    2ad13b5 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    5474c07 View commit details
    Browse the repository at this point in the history

Commits on Sep 15, 2023

  1. Configuration menu
    Copy the full SHA
    f1451c9 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    c8121c5 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    47ccd1f View commit details
    Browse the repository at this point in the history