Remove ghc-head workflow (#1446)
Contributions of GHC glue code are now done on the GHC gitlab, not in the GitHub repo anymore.
parent
c2dc73cf
No related branches found
No related tags found
Please register or sign in to comment
Contributions of GHC glue code are now done on the GHC gitlab, not in the GitHub repo anymore.