-
Notifications
You must be signed in to change notification settings - Fork 783
Pull requests: dotnet/fsharp
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
[WIP] Imply anonymous record label from expressions
#17857
opened Oct 8, 2024 by
Tangent-90
•
Draft
3 tasks
Merge main to release/dev17.13
Area-Infrastructure
auto-merge
#17855
opened Oct 8, 2024 by
dotnet-bot
Loading…
Localized file check-in by OneLocBuild Task: Build definition ID 499: Build ID 2555417
#17854
opened Oct 8, 2024 by
dotnet-bot
Loading…
[release/dev17.11] Update dependencies from dotnet/arcade
#17853
opened Oct 8, 2024 by
dotnet-maestro
bot
Loading…
Nullness bugfix :: could not assign null to member val property
#17845
opened Oct 7, 2024 by
T-Gro
Loading…
make Assertions.withExitCode work
NO_RELEASE_NOTES
Label for pull requests which signals, that user opted-out of providing release notes
#17830
opened Oct 2, 2024 by
Martin521
Loading…
1 task done
Improve
AsyncRunSynchronouslyReusesThreadPoolThread
test
#17824
opened Oct 1, 2024 by
majocha
Loading…
Merge release/dev17.11 to release/dev17.12
Area-Infrastructure
auto-merge
Merge Conflicts
#17819
opened Sep 30, 2024 by
dotnet-bot
Loading…
Readability of lex.fsl
NO_RELEASE_NOTES
Label for pull requests which signals, that user opted-out of providing release notes
#17817
opened Sep 30, 2024 by
Martin521
Loading…
1 task done
Disallow abstract member with access modifiers in sig file
#17802
opened Sep 26, 2024 by
Tangent-90
Loading…
1 task done
Merge release/dev17.11 to main
Area-Infrastructure
auto-merge
Merge Conflicts
#17785
opened Sep 25, 2024 by
dotnet-bot
Loading…
Rename SourceBuildUseMonoRuntime property, which is not SB specific
#17778
opened Sep 23, 2024 by
directhex
Loading…
RFC FS-1033: Deprecate places where
seq
can be omitted
#17772
opened Sep 20, 2024 by
edgarfgp
Loading…
3 tasks done
[WIP] Distribute tests across machines based on execution time, playground for messing around
NO_RELEASE_NOTES
Label for pull requests which signals, that user opted-out of providing release notes
Remove unnecessary Console.SetOut
NO_RELEASE_NOTES
Label for pull requests which signals, that user opted-out of providing release notes
#17761
opened Sep 17, 2024 by
majocha
Loading…
[main] Update dependencies from dotnet/source-build-reference-packages
#17758
opened Sep 17, 2024 by
dotnet-maestro
bot
Loading…
[main] Update dependencies from dotnet/arcade
#17729
opened Sep 14, 2024 by
dotnet-maestro
bot
Loading…
Previous Next
ProTip!
Adding no:label will show everything without a label.