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

int: Use polling crate as interface to poll system #123

Merged
merged 9 commits into from
Apr 9, 2023

Commits on Mar 8, 2023

  1. int: Use polling crate as interface to poll system

    Fix test failures
    
    Polling does not guarantee this behavior
    
    Increase code coverage by marking certain branches
    notgull committed Mar 8, 2023
    Configuration menu
    Copy the full SHA
    248112e View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    8372616 View commit details
    Browse the repository at this point in the history
  3. Update polling to v2.6

    notgull committed Mar 8, 2023
    Configuration menu
    Copy the full SHA
    cdbc351 View commit details
    Browse the repository at this point in the history

Commits on Mar 21, 2023

  1. Address review comments

    notgull committed Mar 21, 2023
    Configuration menu
    Copy the full SHA
    84da253 View commit details
    Browse the repository at this point in the history

Commits on Mar 22, 2023

  1. Review comments

    notgull committed Mar 22, 2023
    Configuration menu
    Copy the full SHA
    5730091 View commit details
    Browse the repository at this point in the history

Commits on Apr 8, 2023

  1. Further review comments

    notgull committed Apr 8, 2023
    Configuration menu
    Copy the full SHA
    18e8346 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    e6a853f View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    6066bb7 View commit details
    Browse the repository at this point in the history
  4. Fix formatting

    notgull committed Apr 8, 2023
    Configuration menu
    Copy the full SHA
    439a547 View commit details
    Browse the repository at this point in the history