Skip to content

Conversation

dotnet-bot
Copy link
Contributor

This is the pull request automatically created by the OneLocBuild task in the build process to check-in localized files generated based upon translation source files (.lcl files) handed-back from the downstream localization pipeline. If there are issues in translations, visit https://aka.ms/icxLocBug and log bugs for fixes. The OneLocBuild wiki is https://aka.ms/onelocbuild and the localization process in general is documented at https://aka.ms/AllAboutLoc.

Copy link
Contributor

github-actions bot commented Jun 5, 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

@dotnet-bot dotnet-bot changed the title Localized file check-in by OneLocBuild Task: Build definition ID 499: Build ID 2723736 Localized file check-in by OneLocBuild Task: Build definition ID 499: Build ID 2724466 Jun 6, 2025
@dotnet-bot dotnet-bot changed the title Localized file check-in by OneLocBuild Task: Build definition ID 499: Build ID 2724466 Localized file check-in by OneLocBuild Task: Build definition ID 499: Build ID 2724471 Jun 6, 2025
@dotnet-bot dotnet-bot changed the title Localized file check-in by OneLocBuild Task: Build definition ID 499: Build ID 2724471 Localized file check-in by OneLocBuild Task: Build definition ID 499: Build ID 2724828 Jun 6, 2025
@github-project-automation github-project-automation bot moved this from New to In Progress in F# Compiler and Tooling Jun 9, 2025
@T-Gro T-Gro enabled auto-merge (squash) June 9, 2025 13:36
@T-Gro T-Gro added the NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes label Jun 9, 2025
@T-Gro T-Gro merged commit 8f33959 into release/dev18.0 Jun 9, 2025
39 of 40 checks passed
@github-project-automation github-project-automation bot moved this from In Progress to Done in F# Compiler and Tooling Jun 9, 2025
@akoeplinger akoeplinger deleted the locfiles/c0857c31-e07f-4487-8777-b11d79fa2444 branch June 11, 2025 21:37
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.

2 participants