Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #4824 from IntersectMBO/td/fix-gen-hie
Pin ghc version in gen-hie CI job
- Loading branch information