Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove Stack #120

Merged
merged 2 commits into from
Sep 27, 2023
Merged

Remove Stack #120

merged 2 commits into from
Sep 27, 2023

Conversation

Rembane
Copy link
Contributor

@Rembane Rembane commented Sep 25, 2023

We can build without Stack and it feels nice to not be dependent on
another tool built on top of another tool etc.

@Rembane Rembane requested review from The1Penguin and a team September 25, 2023 19:39
@Rembane Rembane force-pushed the remove-stack-dependency branch 2 times, most recently from d8d4819 to ecea113 Compare September 25, 2023 20:38
@Jassob Jassob force-pushed the remove-stack-dependency branch 3 times, most recently from 69fc98a to ae30dfa Compare September 27, 2023 21:11
We can build without Stack and it feels nice to not be dependent on
another tool built on top of another tool etc.

Massage some versions of dependencies and some datetime formatting code
to make everything work with the versions of the dependencies installed.

Use `haskell-ci` to generate GitHub workflow that works with cabal.
@Jassob Jassob force-pushed the remove-stack-dependency branch 2 times, most recently from f0eb415 to d9bef23 Compare September 27, 2023 21:28
We probably don't need even half of all steps and stuffs in the old
workflow. This commit cleans away a lot.
Copy link
Contributor

@Jassob Jassob left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This looks great, I am totally not very biased and neither is @The1Penguin

@The1Penguin The1Penguin merged commit 55e3ab9 into main Sep 27, 2023
2 checks passed
@Jassob Jassob deleted the remove-stack-dependency branch September 27, 2023 21:37
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.

3 participants