Skip to content

Support GHC 9.12#7

Merged
ichistmeinname merged 2 commits intoichistmeinname:masterfrom
alexfmpe:ghc-9.12
Feb 28, 2025
Merged

Support GHC 9.12#7
ichistmeinname merged 2 commits intoichistmeinname:masterfrom
alexfmpe:ghc-9.12

Conversation

@alexfmpe
Copy link
Contributor

No description provided.

@ichistmeinname
Copy link
Owner

ichistmeinname commented Feb 23, 2025

Thanks for the PR! Glad the people are still using the tool : )

Can you mark this PR as draft
until the checks work? Otherwise I might merge it by accident.

I only skimmed through. is there perhaps something wrong with the action itself?

@alexfmpe
Copy link
Contributor Author

Bumping actions fixed it.
Looks like the old one couldn't grab recent ghc from ghcup.

@ichistmeinname ichistmeinname merged commit d0fb032 into ichistmeinname:master Feb 28, 2025
10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants