Skip to content
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

Change priority of nixpkgs.hostPlatform #214

Merged
merged 1 commit into from
May 9, 2024

Conversation

jmbaur
Copy link
Contributor

@jmbaur jmbaur commented May 9, 2024

Description of changes

We should prevent colliding priorities with configs that have nixpkgs.hostPlatform set from the output of nixos-generate-config.

Testing

N/A

We should prevent colliding priorities with configs that have
`nixpkgs.hostPlatform` set from the output of `nixos-generate-config`.
@jmbaur jmbaur force-pushed the hostplatform-prio branch from c436076 to b5b82dc Compare May 9, 2024 22:48
@danielfullmer danielfullmer merged commit 887d2b3 into anduril:master May 9, 2024
1 check passed
@jmbaur jmbaur deleted the hostplatform-prio branch May 15, 2024 17:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants