Skip to content

Pull requests: JetBrains/resharper-fsharp

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Sync with the ultimate master
#798 by net-jetbot bot was merged Jan 13, 2025 Loading…
Sync with the ultimate master
#797 by net-jetbot bot was closed Jan 13, 2025 Loading…
Sync with the ultimate master
#796 by net-jetbot bot was closed Jan 13, 2025 Loading…
Sync with the ultimate master
#795 by net-jetbot bot was merged Jan 2, 2025 Loading…
Sync with the ultimate master
#794 by net-jetbot bot was closed Jan 2, 2025 Loading…
Sync with the ultimate master
#793 by net-jetbot bot was closed Jan 2, 2025 Loading…
Sync with the ultimate master
#792 by net-jetbot bot was merged Dec 30, 2024 Loading…
Sync with the ultimate master
#791 by net-jetbot bot was closed Jan 2, 2025 Loading…
Sync with the ultimate master
#790 by net-jetbot bot was closed Jan 2, 2025 Loading…
Sync with the ultimate master
#789 by net-jetbot bot was merged Dec 27, 2024 Loading…
Sync with the ultimate master
#788 by net-jetbot bot was merged Dec 24, 2024 Loading…
Sync with the ultimate master
#786 by net-jetbot bot was merged Dec 21, 2024 Loading…
Sync with the ultimate master
#785 by net-jetbot bot was merged Dec 19, 2024 Loading…
Sync with the ultimate master
#782 by net-jetbot bot was merged Dec 15, 2024 Loading…
Sync with the ultimate master
#781 by net-jetbot bot was closed Dec 15, 2024 Loading…
Fix frontend tests
#780 by Konstantin343 was merged Dec 13, 2024 Loading…
Temporary and permanent fixes for F# tests
#779 by ForNeVeR was merged Dec 12, 2024 Loading…
Update development notes.
#778 by edgarfgp was merged Dec 18, 2024 Loading…
Sync with the ultimate master
#777 by net-jetbot bot was merged Dec 12, 2024 Loading…
Sync with the ultimate master
#776 by net-jetbot bot was merged Dec 11, 2024 Loading…
Sync with the ultimate master
#775 by net-jetbot bot was merged Dec 9, 2024 Loading…
Sync with the ultimate master
#774 by net-jetbot bot was merged Dec 7, 2024 Loading…
Sync with the ultimate master
#773 by net-jetbot bot was merged Dec 5, 2024 Loading…
Sync with the ultimate master
#772 by net-jetbot bot was merged Dec 4, 2024 Loading…
Sync with the ultimate master
#771 by net-jetbot bot was merged Nov 29, 2024 Loading…
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.