Merged
Conversation
1e0ed39 to
cd63132
Compare
LordGrimmauld
previously requested changes
Oct 14, 2025
Contributor
There was a problem hiding this comment.
We should prefer patches, see also #445447 (comment).
CLI flag will silently do potentially unexpected things once upstream updates their cmake things, while patches will hard-fail at build time. This means patches won't be forgotten and will eventually be removed.
8e4a12c to
d15b21d
Compare
134697c to
f0fea7a
Compare
a2617bb to
425d97d
Compare
425d97d to
f960b7b
Compare
e4084e5 to
76697fd
Compare
Member
Author
|
@LordGrimmauld feel free to merge. I have no time to fix more. I will open a new PR if I have time again. |
76697fd to
ee13958
Compare
changes requested fulfilled
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Things done
passthru.tests.nixpkgs-reviewon this PR. See nixpkgs-review usage../result/bin/.Fixes builds from: #445447
This PR fixes:
Add a 👍 reaction to pull requests you find important.