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

Rename names and references to P2300 reference implementation to stdexec #641

Merged
merged 1 commit into from
Mar 31, 2023
Merged

Rename names and references to P2300 reference implementation to stdexec #641

merged 1 commit into from
Mar 31, 2023

Conversation

msimberg
Copy link
Contributor

@msimberg msimberg commented Mar 31, 2023 •
edited
Loading

Fixes #626. Related: #640, #642.

@msimberg msimberg self-assigned this Mar 31, 2023
@msimberg msimberg force-pushed the p2300-ref-to-stdexec branch from 140a0e4 to 1469392 Compare March 31, 2023 09:22
@msimberg msimberg force-pushed the p2300-ref-to-stdexec branch from 1469392 to 6d114b6 Compare March 31, 2023 09:23
@msimberg
Copy link
Contributor Author

bors try

bors bot added a commit that referenced this pull request Mar 31, 2023
@bors
Try #641:
d702c86
@bors
Copy link
Contributor

bors bot commented Mar 31, 2023

try

Build failed:

@msimberg
Copy link
Contributor Author

bors try

bors bot added a commit that referenced this pull request Mar 31, 2023
@bors
Try #641:
34ed14d
@bors
Copy link
Contributor

bors bot commented Mar 31, 2023

try

Build failed:

@msimberg
Copy link
Contributor Author

bors try

bors bot added a commit that referenced this pull request Mar 31, 2023
@bors
Try #641:
2260922
@bors
Copy link
Contributor

bors bot commented Mar 31, 2023

try

Build failed:

@msimberg msimberg force-pushed the p2300-ref-to-stdexec branch from 2548bcd to 6d114b6 Compare March 31, 2023 10:18
@msimberg
Copy link
Contributor Author

bors try

bors bot added a commit that referenced this pull request Mar 31, 2023
@bors
Try #641:
41d74ef
@bors
Copy link
Contributor

bors bot commented Mar 31, 2023

try

Build succeeded:

@msimberg
Copy link
Contributor Author

bors merge

@bors
Copy link
Contributor

bors bot commented Mar 31, 2023

Build succeeded:

@bors bors bot merged commit 5b3a800 into pika-org:main Mar 31, 2023
@msimberg msimberg deleted the p2300-ref-to-stdexec branch April 3, 2023 07:57
@msimberg msimberg added this to the 0.14.0 milestone Apr 4, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

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

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

Assignees

@msimberg msimberg

Labels
None yet
Projects
pika planning board
Archived in project
Milestone
0.14.0
Development

Successfully merging this pull request may close these issues.

Rename PIKA_WITH_P2300_REFERENCE_IMPLEMENTATION with PIKA_WITH_STDEXEC
1 participant
@msimberg