Skip to content

Bump to lts-15.13 #1579

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 4 commits into from
May 31, 2020
Merged

Bump to lts-15.13 #1579

merged 4 commits into from
May 31, 2020

Conversation

mitchellwrosen
Copy link
Member

@mitchellwrosen mitchellwrosen commented May 21, 2020 •
edited
Loading

This PR bumps the resolver to lts-15.13, leaving megaparsec where it's at ;)

Fixes #1562

aryairani
aryairani approved these changes May 21, 2020
View reviewed changes
Copy link
Contributor

@aryairani aryairani 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 good, but to minimize variables, let's hold off on merging until after the pending binary release is out.

@aryairani aryairani mentioned this pull request May 22, 2020
Closed
@mitchellwrosen mitchellwrosen force-pushed the mitchell/lts-15.13 branch 3 times, most recently from 44d9814 to 6f10cae Compare May 23, 2020 23:07
@mitchellwrosen mitchellwrosen marked this pull request as ready for review May 24, 2020 13:19
@aryairani
Copy link
Contributor

@pchiusano @runarorama @dolio I think we are ready to bump to GHC 8.8. Any objections to merging?

@pchiusano
Copy link
Member

No objections..

@aryairani aryairani added the ready-to-merge Apply this to a PR and it will get merged automatically once CI passes and 1 reviewer has approved label May 31, 2020
@mergify mergify bot merged commit f3f07da into master May 31, 2020
@mergify mergify bot deleted the mitchell/lts-15.13 branch May 31, 2020 17:53
@mergify mergify bot removed the ready-to-merge Apply this to a PR and it will get merged automatically once CI passes and 1 reviewer has approved label May 31, 2020
@pchiusano pchiusano mentioned this pull request May 11, 2021
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@aryairani aryairani aryairani approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

update to ghc 8.8
3 participants
@mitchellwrosen @aryairani @pchiusano