-
-
Notifications
You must be signed in to change notification settings - Fork 391
Streamline CircleCI jobs #1152
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
Streamline CircleCI jobs #1152
Conversation
agree
it is using the default
not sure about that, there were specific errors testing with stack in the past, maybe they are not possible or improbable enough to drop them |
nvm, we can drop them optimistically and enable if we hit concrete issues with stack |
Tests are already covered by the Github Actions
Tests: making the tests pass with ghc-default: solved by deleting the unlabelled |
well, i wanted to keep the |
I don't think so. It's much better to pick a desired version and do |
mmm, the default stack yaml is a way to signal what is the default ghc for us. It is |
To signal the preferred As for the rationale to keep multiple stack descriptors, I'm with the beginners. It doesn't make sense, for the following reasons:
My suggestion is to be pragmatic and keep just one |
Agree with that, but stack-windows.yaml will continue being a copy of stack-8.6.5.yaml, not sure about nightly (now we are using last nightly for stack-8.10.3.yaml f.e.). EDIT: oh, i think you are suggesting removing the rest of stack.yaml? |
Just in case, take a look (with beginner glasses) to the stack error:
It doesn't say anything about the rest of stack.yaml's and the unique suggestion will cause even more problems ( |
I'm suggesting to remove all the stack descriptors and keep only |
That would be ideal but we have to build hls for each ghc version users are actually using and there is people out there using 8.6,x and 8.8.x. They would have to write down from zero a suitable |
Ok. Restored |
so we are in the same situation (respect the ghc-default circleci job) as in my first comment, no?:
🙂 |
Well, |
To not break it inadvertently for no keeping it in sync. |
Let's delete EDIT: I give up. Hopefully once we have a merge bot, all this will not matter. But as a former ghcide maintainer, I find the pace of contributions in this repo too slow, and I might find myself contributing less often for that reason |
Mmm it will break |
but I recognize the burden of maintain that extra file, could we at least changing readme to add instructions on how to build without stack.yaml? |
Just FYI, as a stack user, I agree with @jneira on most about |
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.
Many thanks for your hard work here
Sorry to hear that. It is clear that to have ghcide in a separate repo had advantages besides the drawbacks, which were more ostensible and noted before actually merging. ...hard but no impossible 😃 |
Now that we have mostly streamlined the GitHub Actions (Windows cache still not working) the CircleCI jobs have become the bottleneck.
Changes:
I have also enabled "auto cancel redundant builds" in the Project settings, which should help immensely.