Skip to content
GitLab
Explore
Sign in
Register
Open
756
Merged
1,356
Closed
11,651
All
13,763
Merge trains
Recent searches
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
Marge Bot Batch MR - DO NOT TOUCH
!11103
· created
Aug 17, 2023
by
Marge Bot
wip/marge_bot_batch_merge_job
Closed
updated
Aug 17, 2023
Allow cross-tyvar defaulting proposals from plugins
!11102
· created
Aug 17, 2023
by
Gergő Érdi
defaulting
plugins
typechecker plugins
Closed
59
Approved
updated
Sep 01, 2023
Fix of Issue #23839 : Added `StandaloneKindSignature` examples to replace CUSKs ones.
!11101
· created
Aug 16, 2023
by
Artin Ghasivand
documentation
Merged
11
Approved
updated
Aug 27, 2023
Marge Bot Batch MR - DO NOT TOUCH
!11100
· created
Aug 16, 2023
by
Marge Bot
wip/marge_bot_batch_merge_job
Closed
updated
Aug 17, 2023
BACKPORT: If a defaulting plugin made progress, re-zonk wanteds before built-in defaulting
!11099
· created
Aug 16, 2023
by
Gergő Érdi
ghc-9.8
updated
Aug 16, 2023
Marge Bot Batch MR - DO NOT TOUCH
!11098
· created
Aug 15, 2023
by
Marge Bot
wip/marge_bot_batch_merge_job
Closed
updated
Aug 16, 2023
Add @since pragmas for Data.Ord.clamp and GHC.Float.clamp
!11097
· created
Aug 15, 2023
by
Bodigrim
core libraries
documentation
Closed
2
updated
Aug 16, 2023
ci: Run full-ci on master and release branches
!11096
· created
Aug 15, 2023
by
Matthew Pickering
full-ci
Closed
2
Approved
updated
Aug 16, 2023
Marge Bot Batch MR - DO NOT TOUCH
!11095
· created
Aug 15, 2023
by
Marge Bot
wip/marge_bot_batch_merge_job
Closed
updated
Aug 15, 2023
Update Generate.hs
!11094
· created
Aug 15, 2023
by
Moritz Angermann
Closed
1
updated
Aug 22, 2023
JSON Diagnostics Output (deprecate -ddump-json)
!11093
· created
Aug 14, 2023
by
Ben Bellick
Closed
55
4
Approved
updated
Feb 11, 2024
Remove Ptr example from roles docs
!11092
· created
Aug 14, 2023
by
Jaro Reinders
Blocked on Review
documentation
Closed
3
updated
Mar 02, 2024
Marge Bot Batch MR - DO NOT TOUCH
!11091
· created
Aug 14, 2023
by
Marge Bot
wip/marge_bot_batch_merge_job
Closed
updated
Aug 15, 2023
Marge Bot Batch MR - DO NOT TOUCH
!11090
· created
Aug 14, 2023
by
Marge Bot
wip/marge_bot_batch_merge_job
Closed
updated
Aug 14, 2023
CI fixes needed for test-primops testing
!11089
· created
Aug 14, 2023
by
Matthew Pickering
Closed
2
updated
Aug 14, 2023
rts: Ensure `clockid_t` is available in `rts/OSThreads.h` by explicitly including `sys/types.h`
!11088
· created
Aug 14, 2023
by
Zubin
updated
Aug 14, 2023
Marge Bot Batch MR - DO NOT TOUCH
!11087
· created
Aug 14, 2023
by
Marge Bot
wip/marge_bot_batch_merge_job
Closed
updated
Aug 14, 2023
Marge Bot Batch MR - DO NOT TOUCH
!11086
· created
Aug 12, 2023
by
Marge Bot
wip/marge_bot_batch_merge_job
Closed
updated
Aug 13, 2023
packaging: Build manpage in separate directory to other documentation
!11085
· created
Aug 11, 2023
by
Matthew Pickering
Closed
6
updated
Aug 23, 2023
If a defaulting plugin made progress, re-zonk wanteds before built-in defaulting (#23821)
!11084
· created
Aug 11, 2023
by
Gergő Érdi
Closed
4
Approved
updated
Aug 24, 2023
Prev
1
…
131
132
133
134
135
136
137
138
139
…
689
Next