Skip to content
GitLab
Explore
Sign in
Register
Open
764
Merged
1,315
Closed
11,222
All
13,301
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
Draft: Part of #12935
!13071
· created
Jul 26, 2024
by
Rodrigo Mesquita
full-ci
Closed
2
updated
Jul 29, 2024
Marge Bot Batch MR - DO NOT TOUCH
!13077
· created
Jul 28, 2024
by
Marge Bot
wip/marge_bot_batch_merge_job
Closed
updated
Jul 29, 2024
Revert "Make type-equality on synonyms a bit faster"
!13052
· created
Jul 19, 2024
by
Matthew Pickering
Closed
9
Approved
updated
Jul 29, 2024
Scale multiplicity in list comprehension
7 of 7 checklist items completed
!13054
· created
Jul 19, 2024
by
Arnaud Spiwack
LinearTypes
backport needed:9.10
Closed
4
Approved
updated
Jul 29, 2024
Marge Bot Batch MR - DO NOT TOUCH
!13075
· created
Jul 27, 2024
by
Marge Bot
wip/marge_bot_batch_merge_job
Closed
updated
Jul 27, 2024
add missing cell in flavours table
!13062
· created
Jul 22, 2024
by
Torsten Schmits
documentation
fast-ci
Closed
10
Approved
updated
Jul 27, 2024
Marge Bot Batch MR - DO NOT TOUCH
!13074
· created
Jul 27, 2024
by
Marge Bot
wip/marge_bot_batch_merge_job
Closed
updated
Jul 27, 2024
Draft: RISCV sync
!10645
· created
Jun 12, 2023
by
Sven Tennie
wip/angerman/riscv64-ncg
Closed
28
updated
Jul 27, 2024
Draft: RISCV-NCG
!10367
· created
May 01, 2023
by
Moritz Angermann
Closed
19
updated
Jul 27, 2024
Marge Bot Batch MR - DO NOT TOUCH
!13073
· created
Jul 26, 2024
by
Marge Bot
wip/marge_bot_batch_merge_job
Closed
updated
Jul 27, 2024
Marge Bot Batch MR - DO NOT TOUCH
!13072
· created
Jul 26, 2024
by
Marge Bot
wip/marge_bot_batch_merge_job
Closed
updated
Jul 26, 2024
WIP: Use `Infinite` for `Unique` generation, and clean up some other partial uni patterns as well.
!8893
· created
Aug 23, 2022
by
Matthew Farkas-Dyck
Closed
1
updated
Jul 26, 2024
Marge Bot Batch MR - DO NOT TOUCH
!13069
· created
Jul 26, 2024
by
Marge Bot
wip/marge_bot_batch_merge_job
Closed
updated
Jul 26, 2024
Marge Bot Batch MR - DO NOT TOUCH
!13065
· created
Jul 24, 2024
by
Marge Bot
wip/marge_bot_batch_merge_job
Closed
updated
Jul 25, 2024
STM: Various fixes
!12194
· created
Mar 06, 2024
by
Andreas Klebinger
full-ci
Closed
30
updated
Jul 25, 2024
Introduce UniqueSet and use it to replace 'UniqSet Unique' (#23572, #23605)
!12687
· created
May 22, 2024
by
Sylvain Henry
Blocked on Review
Closed
8
Approved
updated
Jul 24, 2024
Marge Bot Batch MR - DO NOT TOUCH
!13063
· created
Jul 23, 2024
by
Marge Bot
wip/marge_bot_batch_merge_job
Closed
updated
Jul 24, 2024
Fix bad bug in mkSynonymTyCon, re forgetfulness
!13059
· created
Jul 21, 2024
by
Simon Peyton Jones
Closed
2
Approved
updated
Jul 24, 2024
Marge Bot Batch MR - DO NOT TOUCH
!13061
· created
Jul 22, 2024
by
Marge Bot
wip/marge_bot_batch_merge_job
Closed
updated
Jul 23, 2024
Marge Bot Batch MR - DO NOT TOUCH
!13057
· created
Jul 21, 2024
by
Marge Bot
wip/marge_bot_batch_merge_job
Closed
updated
Jul 22, 2024
Prev
1
…
10
11
12
13
14
15
16
17
18
…
562
Next