Skip to content

Fix uses of get_scheduler that should be get_start_scheduler - #327

Open
Cra3z wants to merge 2 commits into
bemanproject:mainfrom
Cra3z:main
Open

Cra3z wants to merge 2 commits into
bemanproject:mainfrom
Cra3z:main

Conversation

@Cra3z

@Cra3z Cra3z commented Oct 12, 2026

Copy link
Copy Markdown
Collaborator

Fix uses of get_scheduler that should be get_start_scheduler, and improve sender-attributes for just and read_env.

… improve sender-attributes for `just` and `read_env`
@coveralls

coveralls commented Oct 12, 2026 •

Copy link
Copy Markdown

Coverage Status

coverage: 92.911% (-0.1%) from 93.042% — Cra3z:main into bemanproject:main

@Cra3z

Cra3z commented Oct 12, 2026

Copy link
Copy Markdown
Collaborator Author

@dietmarkuehl In the working draft, should the wording in places such as https://eel.is/c++draft/exec#snd.expos-60, https://eel.is/c++draft/exec#queries.expos-3, and https://eel.is/c++draft/exec#get.domain-2.2 be changed to use get_start_scheduler instead of get_scheduler?"

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants