Thanks for creating gen-hie, it is essential to a smooth HLS experience.
Would you be open to including pre-built binaries for gen-hie along with each release of implicit-hie? I'd like to use gen-hie in CI, and for this it would be great to have official binaries to point to, rather than waiting for cabal install implicit-hie each time.
If I understand correctly, this should require only a small change to the GitHub workflows, perhaps using hlint's release workflow as a guide.
If you like, I can put together a PR to get started.
Thanks for creating
gen-hie
, it is essential to a smooth HLS experience.Would you be open to including pre-built binaries for
gen-hie
along with each release ofimplicit-hie
? I'd like to usegen-hie
in CI, and for this it would be great to have official binaries to point to, rather than waiting forcabal install implicit-hie
each time.If I understand correctly, this should require only a small change to the GitHub workflows, perhaps using
hlint
's release workflow as a guide.If you like, I can put together a PR to get started.