Merge main to feature/tasks#10374

vzarytovskii merged 1 commit intofeature/tasksdotnet/fsharp:feature/tasksfrom

merges/main-to-feature/tasksdotnet/fsharp:merges/main-to-feature/tasksCopy head branch name to clipboard