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.
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 |