feat: add a release workflow#368
Conversation
a981ddd to
b8618df
Compare
637b831 to
d6b6498
Compare
|
Looks like github actions uploads are broken! yeyyyy |
|
Not sure if this is ready for review, so can you request review when you want one? Thanks. |
|
No, sorry, something is wrong with the action, I don’t know if it’s caused by gh or something I’m doing wrong. I’m gonna have a look. ^^ |
ccd4e95 to
a23cd25
Compare
|
I think this would be ready for review, sorry for the long wait, @tomjaguarpaw |
b7e327c to
9154a66
Compare
tomjaguarpaw
left a comment
There was a problem hiding this comment.
Thanks, this is great! The explanation of how to use it could benefit from a little elaboration and clarification. Happy to suggest some wording, but at the moment I don't know what it means.
|
@tomjaguarpaw is it okay if I add a https://editorconfig.org/ is supported by all editors and much less controversial than automatic formatting. |
9154a66 to
e2ea774
Compare
Let's do that in a separate PR. |
e2ea774 to
b84e53b
Compare
|
Thank you for doing this, @MangoIV ! |
add a release workflow that generates the configure script to be uploaded as part of the cabal sdist. Co-authored-by: Tom Ellis <tom-github@jaguarpaw.co.uk>
1f72b4b to
cfe4d06
Compare
Adds a new release workflow. This workflow adds a couple of things