Skip to content

Resolve #665: ghc-head works with GHA#671

Open
phadej wants to merge 2 commits intomasterfrom ghc-nightly