Skip to content

nix/profile.cc: Fix header include path#13699

Merged
xokdvium merged 1 commit intoNixOS:masterfrom
xokdvium:fix-dev-shell-build
Aug 6, 2025
Merged

nix/profile.cc: Fix header include path#13699
xokdvium merged 1 commit intoNixOS:masterfrom
xokdvium:fix-dev-shell-build

Conversation

@xokdvium
Copy link
Contributor

@xokdvium xokdvium commented Aug 6, 2025

Motivation

This wasn't caught by CI for aea312d due to weird componentized build reasons.

Context


Add 👍 to pull requests you find important.

The Nix maintainer team uses a GitHub project board to schedule and track reviews.

This wasn't caught by CI for aea312d
due to weird componentized build reasons.
@xokdvium xokdvium requested a review from edolstra as a code owner August 6, 2025 08:02
@github-actions github-actions bot added the new-cli Relating to the "nix" command label Aug 6, 2025
@xokdvium xokdvium enabled auto-merge August 6, 2025 08:29
@xokdvium xokdvium merged commit 664f06c into NixOS:master Aug 6, 2025
14 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

new-cli Relating to the "nix" command

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants