Skip to content
GitLab
Explore
Sign in
Register
Open
17
Merged
328
Closed
45
All
390
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
Patch Agda to deal with deprecated Data.List.NonEmpty.unzip
!310
· created
Jul 02, 2023
by
Bodigrim
Merged
5
Approved
updated
Jul 17, 2023
Add atomic-counter to testsuite
!309
· created
Jun 29, 2023
by
Matthew Pickering
Add generic-random, lame, ghc-typelits-* as extra_packages
!308
· created
Jun 29, 2023
by
Ryan Scott
Merged
1
updated
Jun 30, 2023
Bump text submodule to fix #85
!307
· created
Jun 28, 2023
by
Ryan Scott
Merged
1
updated
Jun 29, 2023
Migrate patches to latest Hackage versions
!306
· created
Jun 27, 2023
by
Ryan Scott
Merged
1
updated
Jun 28, 2023
CI: Add GHC 9.8 jobs
!305
· created
Jun 24, 2023
by
Ryan Scott
Merged
2
updated
Dec 05, 2023
Add patches for `ghcide` and dependencies
!304
· created
Jun 20, 2023
by
Zubin
Merged
7
Approved
updated
Jun 24, 2023
adapt head.hackage to remove arity inference patch
!303
· created
Jun 19, 2023
by
Andrei Borzenkov
Merged
11
updated
Jul 03, 2023
Invisible binders
!302
· created
Jun 04, 2023
by
Vladislav Zavialov
Merged
11
Approved
updated
Feb 20, 2024
Avoid name clash with Data.List.unsnoc in extra-1.7.13
!301
· created
May 29, 2023
by
Tobias Haslop
Merged
2
Approved
updated
May 30, 2023
Patch generics-sop
!300
· created
May 21, 2023
by
Krzysztof Gogolewski
Merged
Approved
updated
May 22, 2023
ci: Add aarch64-linux job
!299
· created
May 08, 2023
by
Matthew Pickering
Merged
1
Approved
updated
Dec 05, 2023
Update flake.nix with aarch64
!298
· created
May 05, 2023
by
Matthew Pickering
Closed
1
Approved
updated
May 12, 2023
ci: Add aarch64-linux job
!297
· created
May 05, 2023
by
Matthew Pickering
Closed
updated
May 05, 2023
Draft: Add quantified superclasses to Bifoldable and Bitraversable
!296
· created
May 01, 2023
by
Tobias Haslop
2
updated
May 30, 2023
Migrate patches to latest Hackage versions
!295
· created
Apr 14, 2023
by
Ryan Scott
Merged
updated
Apr 14, 2023
Make job-finding error messages clearer
!294
· created
Apr 12, 2023
by
Bryan R
Closed
2
updated
Aug 08, 2023
lsp-types: Adapt to DuplicateRecordFields checking becoming stricter
!293
· created
Apr 02, 2023
by
Ryan Scott
Merged
7
updated
Apr 14, 2023
Patches for GHC MR !8686
!292
· created
Mar 29, 2023
by
sheaf
Closed
6
updated
Sep 08, 2023
ci/config.sh: Pin versions for all extra_packages
!291
· created
Mar 24, 2023
by
Ryan Scott
Merged
updated
Mar 25, 2023
Prev
1
2
3
4
5
6
7
8
9
…
20
Next