Skip to content

Conversation

@psfinaki
Copy link
Contributor

@psfinaki psfinaki commented Jun 3, 2024

No description provided.

@psfinaki psfinaki requested a review from a team as a code owner June 3, 2024 14:56
@github-actions
Copy link
Contributor

github-actions bot commented Jun 3, 2024

⚠️ 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

@psfinaki psfinaki added the NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes label Jun 3, 2024
@psfinaki psfinaki enabled auto-merge (squash) June 4, 2024 11:49
@psfinaki psfinaki merged commit fce91e6 into main Jun 4, 2024
vzarytovskii added a commit that referenced this pull request Jun 21, 2024
Co-authored-by: Kevin Ransom (msft) <codecutter@hotmail.com>
Co-authored-by: Petr <psfinaki@users.noreply.github.com>
Co-authored-by: dotnet-maestro[bot] <dotnet-maestro[bot]@users.noreply.github.com>
Co-authored-by: Brian Rourke Boll <brianrourkeboll@users.noreply.github.com>
Co-authored-by: Vlad Zarytovskii <vzaritovsky@hotmail.com>
Co-authored-by: Viktor Hofer <viktor.hofer@microsoft.com>
Co-authored-by: Florian Verdonck <florian.verdonck@outlook.com>
Co-authored-by: Jakub Majocha <1760221+majocha@users.noreply.github.com>
Co-authored-by: ijklam <43789618+Tangent-90@users.noreply.github.com>
Co-authored-by: dotnet-maestro[bot] <42748379+dotnet-maestro[bot]@users.noreply.github.com>
Co-authored-by: dawe <dawedawe@posteo.de>
Co-authored-by: Tom Deseyn <tom.deseyn@gmail.com>
Fix AOT (#17238)" (#17264)
Fix full source-build product build when running R2R (#17259)
Fix plain build of FSC fsproj (#17270)
Fix #14375 by showing and inserting correct name of entities from unopened namespace/module (#17261)
fix #14375
Fix a typo in docs (#17273)
Fix sbom generation (#17275)
@psfinaki psfinaki deleted the psfinaki-patch-3 branch December 19, 2024 15:08
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.

4 participants