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

TEST: benchmark thread pooling #679

Closed
wants to merge 10 commits into from

Commits on Feb 1, 2024

  1. Configuration menu
    Copy the full SHA
    5b39011 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    0807692 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    157fc62 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    eddca0d View commit details
    Browse the repository at this point in the history
  5. Eio_unix.mli update

    SGrondin authored and talex5 committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    0e995af View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    6cc428b View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    57334c1 View commit details
    Browse the repository at this point in the history
  8. Revert dune file test changes

    SGrondin authored and talex5 committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    3c8c93a View commit details
    Browse the repository at this point in the history
  9. Minor thread pool cleanups

    SGrondin authored and talex5 committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    006afcb View commit details
    Browse the repository at this point in the history
  10. Run tests again

    talex5 committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    f7a6c85 View commit details
    Browse the repository at this point in the history