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

[Merged by Bors] - Add global init and get accessors for all newtyped TaskPools #2250

Closed
wants to merge 20 commits into from

Commits on May 25, 2021

  1. Configuration menu
    Copy the full SHA
    cb415ff View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    69f5e23 View commit details
    Browse the repository at this point in the history
  3. Doc comment fixes

    james7132 committed May 25, 2021
    Configuration menu
    Copy the full SHA
    f75eb85 View commit details
    Browse the repository at this point in the history
  4. Update relevant examples

    james7132 committed May 25, 2021
    Configuration menu
    Copy the full SHA
    f2fc6f8 View commit details
    Browse the repository at this point in the history

Commits on May 9, 2022

  1. Configuration menu
    Copy the full SHA
    65bd41f View commit details
    Browse the repository at this point in the history

Commits on May 10, 2022

  1. Configuration menu
    Copy the full SHA
    655c568 View commit details
    Browse the repository at this point in the history
  2. Remove Clone on TaskPool

    james7132 committed May 10, 2022
    Configuration menu
    Copy the full SHA
    8b32bcb View commit details
    Browse the repository at this point in the history
  3. More fixes

    james7132 committed May 10, 2022
    Configuration menu
    Copy the full SHA
    26413f1 View commit details
    Browse the repository at this point in the history
  4. Fix CI

    james7132 committed May 10, 2022
    Configuration menu
    Copy the full SHA
    ee4f701 View commit details
    Browse the repository at this point in the history

Commits on May 20, 2022

  1. Configuration menu
    Copy the full SHA
    1112ec1 View commit details
    Browse the repository at this point in the history
  2. Remove unused dependencies

    james7132 committed May 20, 2022
    Configuration menu
    Copy the full SHA
    794f3c7 View commit details
    Browse the repository at this point in the history
  3. Fix examples

    james7132 committed May 20, 2022
    Configuration menu
    Copy the full SHA
    59249aa View commit details
    Browse the repository at this point in the history

Commits on May 30, 2022

  1. Configuration menu
    Copy the full SHA
    4b1cc40 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    449cc64 View commit details
    Browse the repository at this point in the history
  3. Sate the CI gods

    james7132 committed May 30, 2022
    Configuration menu
    Copy the full SHA
    f5d261f View commit details
    Browse the repository at this point in the history

Commits on May 31, 2022

  1. Fix CI

    james7132 committed May 31, 2022
    Configuration menu
    Copy the full SHA
    86e5e1b View commit details
    Browse the repository at this point in the history
  2. Shut up clippy.

    Co-authored-by: Mike <mike.hsu@gmail.com>
    james7132 and hymm authored May 31, 2022
    Configuration menu
    Copy the full SHA
    3c90f37 View commit details
    Browse the repository at this point in the history

Commits on Jun 9, 2022

  1. Configuration menu
    Copy the full SHA
    c9e3fe7 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    840695f View commit details
    Browse the repository at this point in the history
  3. Fix tests

    james7132 committed Jun 9, 2022
    Configuration menu
    Copy the full SHA
    4b9f5c8 View commit details
    Browse the repository at this point in the history