-
Notifications
You must be signed in to change notification settings - Fork 697
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
*.project.* files use program-options to specify -fno-ignore-asserts #8350
Conversation
Hmm... it seems like the global program-options still hurt build time? CI was cancelled for reasons I don't understand, but the build time seems to be higher than on other jobs... |
de8077a
to
af676c1
Compare
Oh dear, this time CI failed on Linux, in a similar way. |
FYI: CI is borked right now (#8356), so the error probably has nothing to do with this PR. |
Let me rebase to see if the recent CI workaround unblocks merging. |
@mergify rebase |
✅ Branch has been successfully rebased |
af676c1
to
e443774
Compare
It fails differently now... |
Right... My main concern right now is not failures but the gigantic running time of the succeeding jobs. This wasn't supposed to happen with #7973. Unless I'm missing something (like GHA caching). |
I think the cause is ci is still using cabal 3.6.2.0, which does not include the change |
Ooh, that makes sense, thank you! So this will have to sit until we decide to migrate CI to 3.8... |
CI is at 3.8 now (afair), do maybe it's the prime time?.. |
@mergify rebase |
❌ Base branch update has failedGit reported the following error:
err-code: 63F1C |
e443774
to
02669e0
Compare
All right, CI time is normal now (~22 mins per validate job), which means that |
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.
Thanks a lot!
@mergify rebase |
✅ Branch has been successfully rebased |
02669e0
to
045f742
Compare
Ci looks like it may succeed, so let me take the liberty of setting the merge_me label. |
Simplifies *.project.* files a bit. It wasn't feasible before #7973, as program-options were applied to dependencies as well, which is undesirable.
045f742
to
93b2f0d
Compare
Simplifies
*.project.*
files a bit. It wasn't feasible before #7973, asprogram-options
were applied to dependencies as well, which is undesirable.This is undoing 0c99981, which was a stop-gap against #3911. #7973 should cover #3911 these days.
TODO:
cabal
to 3.8Please include the following checklist in your PR:
Please also shortly describe how you tested your change. Bonus points for added tests!