-
-
Notifications
You must be signed in to change notification settings - Fork 367
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
Add ghc-8.10.3 support after merging ghcide repo #721
Conversation
jneira
commented
Dec 29, 2020
- Let's see how is going
87726bc
to
1aa1ce1
Compare
ci behaves like the previous pr so i would release this one |
1eaf924
to
975808c
Compare
Sounds good to me. |
I'm very reluctant to add more GitHub Actions, the CI is already completely overwhelmed. Is there anything we can drop in exchange? |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good.
BTW, I also agree with @pepeiborra in that CI is already overwhelmed. It might be better to find some optimizable parts in CI.
FYI, there was a chat on IRC with @bgamari about hosting CI on the GHC infrastructure. Something we should explore. |
only tests last minor version in gh f.e. |
The CI issue is being discussed in #780 . |
975808c
to
b4577a2
Compare
b4577a2
to
f3bf627
Compare
ci is green! we will use master with this for the next release if nobody disagree |