Merge requests · Glasgow Haskell Compiler / head.hackage

Add empty containers-0.7 patch

!351 · created Feb 06, 2024 by Ryan Scott
- Merged
- 2
updated Feb 13, 2024
Add a patch to build liquidhaskell with ghc HEAD from 2024-02-04

!350 · created Feb 05, 2024 by Facundo Domínguez
- Merged
- 30
- Approved
updated Apr 17, 2024
Bump ghc-debug pin

!349 · created Feb 05, 2024 by Teo Camarasu
- Closed
- 3
updated Feb 12, 2024
Enable direct testing of update-branch pipeline

!348 · created Dec 08, 2023 by Bryan R
- Merged
- 2
updated Dec 11, 2023
Add vector-sized-1.5.0 patch

!347 · created Dec 05, 2023 by Ryan Scott
- Merged
updated Dec 05, 2023
Rename `forall` identifiers

!346 · created Dec 04, 2023 by Ryan Scott
- Merged
- Approved
updated Dec 05, 2023
Update ghcide-2.0.0.1 patch to accommodate recent exactprint changes

!345 · created Dec 02, 2023 by Ryan Scott
- Merged
updated Dec 02, 2023
Rename `forall` identifiers

!344 · created Dec 01, 2023 by Florian B
- Closed
- 23
- Approved
updated Dec 04, 2023
Use term "package"

!343 · created Nov 22, 2023 by Bryan R
- Closed
- 5
- 1
updated Dec 11, 2023
Remove enummapset patch

!342 · created Nov 19, 2023 by Teo Camarasu
- Merged
- 5
- 1
- Approved
updated Feb 21, 2024
Update ghcide-2.0.0.1 patch to accommodate changes in ghc/ghc!11547

!341 · created Nov 18, 2023 by Ryan Scott
- Merged
updated Nov 19, 2023
CI cleanup

!340 · created Nov 17, 2023 by Bryan R
- Merged
updated Nov 21, 2023
Create a separate nightly pipeline

!338 · created Nov 14, 2023 by Bryan R
- Merged
- 7
updated Nov 17, 2023
Create a separate nightly pipeline

!337 · created Nov 14, 2023 by Bryan R
- Closed
- 1
updated Nov 14, 2023
Add patches for updated Cabal versions and liquid-fixpoint

!336 · created Oct 30, 2023 by Matthew Pickering
updated Nov 02, 2023
Fix build-repo job for xdg supporting cabal-install

!335 · created Oct 28, 2023 by Teo Camarasu
- Merged
- 3
- 1
updated Nov 02, 2023
Upgrade strict-list and ghcide patches to latest version

!334 · created Oct 26, 2023 by Teo Camarasu
- Merged
- 2
updated Oct 27, 2023
Add strict-containers via a patch

!333 · created Oct 24, 2023 by Mikolaj Konarski
- Merged
- 18
updated Nov 03, 2023
Update ghcide patch to accommodate NoAnn class

!332 · created Oct 13, 2023 by Ryan Scott
- Merged
updated Oct 14, 2023
Don't use build-users-group

!331 · created Oct 11, 2023 by Teo Camarasu
- Merged
- 4
updated Oct 30, 2023