Skip to content

Conversation

majocha
Copy link
Contributor

@majocha majocha commented Feb 11, 2025

The Cancellable.run function gets inlined quite a lot so it may be beneficial to simplify it.
UsingToken is not used anymore outside of the file, can be private.

cc @auduchinok

@majocha majocha requested a review from a team as a code owner February 11, 2025 15:31
Copy link
Contributor

github-actions bot commented Feb 11, 2025

⚠️ Release notes required, but author opted out

Warning

Author opted out of release notes, check is disabled for this pull request.
cc @dotnet/fsharp-team-msft

@majocha majocha force-pushed the cancellable-using-token branch from d60cae3 to a67facd Compare February 11, 2025 15:39
@psfinaki psfinaki added the NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes label Feb 12, 2025
Copy link
Contributor

@psfinaki psfinaki left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@psfinaki psfinaki merged commit 2ea701e into dotnet:main Feb 12, 2025
33 checks passed
@majocha majocha deleted the cancellable-using-token branch February 12, 2025 19:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

3 participants