Skip to content
GitLab
Explore
Sign in
Register
Open
753
Merged
1,354
Closed
11,637
All
13,744
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}}
Updated date
Marge Bot Batch MR - DO NOT TOUCH
!11677
· created
Nov 27, 2023
by
Marge Bot
wip/marge_bot_batch_merge_job
Closed
updated
Nov 28, 2023
EPA: Remove SrcSpanAnn
!11674
· created
Nov 26, 2023
by
Alan Zimmerman
API annotations
Closed
4
Approved
updated
Nov 27, 2023
Marge Bot Batch MR - DO NOT TOUCH
!11676
· created
Nov 27, 2023
by
Marge Bot
wip/marge_bot_batch_merge_job
Closed
updated
Nov 27, 2023
Draft: Simplifier: Fix `conSize` estimate (#22317)
!9479
· created
Dec 05, 2022
by
Sebastian Graf
inlining
Closed
24
Approved
updated
Nov 27, 2023
Marge Bot Batch MR - DO NOT TOUCH
!11673
· created
Nov 26, 2023
by
Marge Bot
wip/marge_bot_batch_merge_job
Closed
updated
Nov 27, 2023
Update Note [hsScopedTvs and visible foralls]
!11660
· created
Nov 23, 2023
by
Vladislav Zavialov
Closed
7
Approved
updated
Nov 26, 2023
Term variable capture (#23740)
!11134
· created
Aug 23, 2023
by
Vladislav Zavialov
9.10.1
Closed
52
updated
Nov 26, 2023
Marge Bot Batch MR - DO NOT TOUCH
!11672
· created
Nov 26, 2023
by
Marge Bot
wip/marge_bot_batch_merge_job
Closed
updated
Nov 26, 2023
Bumped the upper bound of text to <2.2
!11666
· created
Nov 25, 2023
by
Mario
Closed
8
Approved
updated
Nov 26, 2023
EPA: Remove EpAnnNotUsed
!11665
· created
Nov 25, 2023
by
Alan Zimmerman
API annotations
Closed
8
Approved
updated
Nov 26, 2023
Add name for -Wdeprecated-type-abstractions (#24154)
!11609
· created
Nov 15, 2023
by
Vladislav Zavialov
9.10.1
Closed
12
Approved
updated
Nov 26, 2023
Marge Bot Batch MR - DO NOT TOUCH
!11671
· created
Nov 26, 2023
by
Marge Bot
wip/marge_bot_batch_merge_job
Closed
updated
Nov 26, 2023
Marge Bot Batch MR - DO NOT TOUCH
!11668
· created
Nov 26, 2023
by
Marge Bot
wip/marge_bot_batch_merge_job
Closed
updated
Nov 26, 2023
Marge Bot Batch MR - DO NOT TOUCH
!11667
· created
Nov 25, 2023
by
Marge Bot
wip/marge_bot_batch_merge_job
Closed
updated
Nov 26, 2023
Marge Bot Batch MR - DO NOT TOUCH
!11661
· created
Nov 24, 2023
by
Marge Bot
wip/marge_bot_batch_merge_job
Closed
updated
Nov 25, 2023
EPA: Remove parenthesizeHsType
!11659
· created
Nov 23, 2023
by
Alan Zimmerman
API annotations
Closed
2
Approved
updated
Nov 24, 2023
Marge Bot Batch MR - DO NOT TOUCH
!11658
· created
Nov 22, 2023
by
Marge Bot
wip/marge_bot_batch_merge_job
Closed
updated
Nov 23, 2023
Unify the split hpc testsuites
!11623
· created
Nov 16, 2023
by
BinderDavid
HPC
testsuite
Closed
9
1
Approved
updated
Nov 23, 2023
EPA: empty tup_tail has noAnn
!11657
· created
Nov 22, 2023
by
Alan Zimmerman
API annotations
Closed
2
Approved
updated
Nov 23, 2023
Marge Bot Batch MR - DO NOT TOUCH
!11654
· created
Nov 22, 2023
by
Marge Bot
wip/marge_bot_batch_merge_job
Closed
updated
Nov 22, 2023
Prev
1
…
98
99
100
101
102
103
104
105
106
…
582
Next