Closed blackgnezdo closed 11 months ago
@jinwoo could you merge this?
The configured builds succeeded in my repo, not sure what it would take for the same to happen here: https://github.com/blackgnezdo/ghc-source-gen/actions/runs/7283528716/job/19847537332
@jinwoo could you merge this?