ci/config.sh · 9b21848a8923cb4f3994d676b5dbd849d046935e · Ellie Hermaszewska / head.hackage · GitLab

Skip to content

GitLab

Explore

Sign in
Register

head.hackage
ci
config.sh

Blame Permalink

Aug 25, 2021
9b21848a

Mark Agda as broken on HEAD due to ghc/ghc#20294 · 9b21848a
Ryan Scott authored Aug 25, 2021

9b21848a

Mark Agda as broken on HEAD due to ghc/ghc#20294
Ryan Scott authored Aug 25, 2021

Loading