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.

Sign up for GitHub

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

Jump to bottom

Clean up thread_pools module #462

Merged
merged 1 commit into from
Sep 26, 2022
Merged

Clean up thread_pools module #462

merged 1 commit into from
Sep 26, 2022

Conversation

aurianer
Copy link
Contributor

@aurianer aurianer commented Sep 23, 2022 •
edited
Loading

Part of #16

@aurianer aurianer self-assigned this Sep 23, 2022
@aurianer aurianer added this to the 0.9.0 milestone Sep 23, 2022
@aurianer
Copy link
Contributor Author

bors try

bors bot added a commit that referenced this pull request Sep 23, 2022
@bors
Try #462:
0e2a046
@aurianer aurianer mentioned this pull request Sep 23, 2022
Open
59 tasks
@bors
Copy link
Contributor

bors bot commented Sep 23, 2022

try

Build succeeded:

@msimberg msimberg changed the title Clean up thread_pools module Clean up thread_pools module Sep 26, 2022
@msimberg
Copy link
Contributor

bors merge

bors bot added a commit that referenced this pull request Sep 26, 2022
@bors @aurianer
Merge #462
722802a 
462: Clean up `thread_pools` module r=msimberg a=aurianer

Part of #16

Co-authored-by: Auriane R <aurianer@cscs.ch>
@bors
Copy link
Contributor

bors bot commented Sep 26, 2022

Build failed:

@aurianer
Copy link
Contributor Author

bors merge

@bors
Copy link
Contributor

bors bot commented Sep 26, 2022

Build succeeded:

@bors bors bot merged commit fd0f0af into pika-org:main Sep 26, 2022
@aurianer aurianer deleted the clean_up_thread_pools branch October 5, 2022 08:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@msimberg msimberg msimberg approved these changes

@biddisco biddisco Awaiting requested review from biddisco biddisco is a code owner

Assignees

@aurianer aurianer

Labels
type: cleanup
Projects
pika planning board
Archived in project
Milestone
0.9.0
Development

Successfully merging this pull request may close these issues.
2 participants
@aurianer @msimberg