Skip to content

CI: cabal 3.6 use & clean-up 8.10.5 builds #2443

New issue

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

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

Already on GitHub? # to your account

Merged
merged 5 commits into from
Dec 7, 2021

Conversation

Anton-Latukha
Copy link
Collaborator

@Anton-Latukha Anton-Latukha commented Dec 6, 2021

Gradually submitting #2427

Copy link
Member

@jneira jneira left a comment

Choose a reason for hiding this comment

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

great, thanks for the update and cleaning up

@Anton-Latukha
Copy link
Collaborator Author

That is basically the first merge.

Then - the standardization of the bootstrapping.
Then caching.

@jneira
Copy link
Member

jneira commented Dec 6, 2021

That is basically the first merge.

Then - the standardization of the bootstrapping. Then caching.

The plan sounds good, is this one ready to merge?

@Anton-Latukha
Copy link
Collaborator Author

I was waiting for CI to pass before marking it as ready. To not distract you.

@Anton-Latukha Anton-Latukha marked this pull request as ready for review December 6, 2021 21:36
@jneira
Copy link
Member

jneira commented Dec 6, 2021

I just was preparing the pr to drop support for 8.10.5 and 8.8.3 but dont worry at all, will merge this and rebase mine: #2444

@Anton-Latukha Anton-Latukha marked this pull request as draft December 6, 2021 21:38
@jneira jneira added the merge me Label to trigger pull request merge label Dec 6, 2021
@Anton-Latukha Anton-Latukha marked this pull request as ready for review December 6, 2021 21:38
@Anton-Latukha
Copy link
Collaborator Author

Anton-Latukha commented Dec 6, 2021

Ok.

Doc is understandable.

Would improve doc wording in the next PR.

@mergify mergify bot merged commit 85b51c4 into haskell:master Dec 7, 2021
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
merge me Label to trigger pull request merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants