Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
head.hackage
Merge requests
!189
Revert "Mark Agda as broken on HEAD due to
ghc#20294
"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Krzysztof Gogolewski
requested to merge
wip/agda-unbroken
into
master
Nov 25, 2021
Overview
3
Commits
1
Pipelines
4
Changes
1
Expand
This reverts commit
9b21848a
.
The bug has been fixed.
Merge request reports