ci/config.sh · b4061d0f84e1da33daa60697d5d32433526a270b · Glasgow Haskell Compiler / head.hackage · GitLab

Skip to content

GitLab

Explore

Sign in
Register

head.hackage
ci
config.sh

Blame Permalink

Aug 27, 2022
b4061d0f

Mark Agda as broken on HEAD due to ghc#22114 · b4061d0f
Ryan Scott authored Aug 27, 2022

b4061d0f

Mark Agda as broken on HEAD due to ghc#22114
Ryan Scott authored Aug 27, 2022

Loading