Skip to content

Conversation

@DieracDelta
Copy link
Member

@DieracDelta DieracDelta commented Nov 26, 2025

Motivation

It might be helpful to know the assigned builder for a drv. I talk about this more in #14639, but my specific usecase is tying processes to a builder for a nix task monitor. But I think this could also be helpful when debugging (for example, if a builder locks up and you want to figure out which derivation it was building)

Context

The context is also primarily #14639. This change feels relatively small to me, and shouldn't make much of a difference unless someone is parsing the log output.

In terms of testing I ran the check phase. Two tests fail, but they also seem to fail prior to this change (?)

I also ran the daemon and ran some local builds on both macos and nixos. Both targets printed the builder uid. But, I wasn't able to test a remote builder


Add 👍 to pull requests you find important.

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

@DieracDelta DieracDelta changed the title add a print statement for drv path -> builder name log builder uid if building locally Nov 26, 2025
@DieracDelta DieracDelta force-pushed the jr/add_builder_printing_master branch 2 times, most recently from d637b30 to 2babcb5 Compare November 26, 2025 17:10
@DieracDelta DieracDelta marked this pull request as draft November 26, 2025 17:12
@DieracDelta DieracDelta force-pushed the jr/add_builder_printing_master branch from 2babcb5 to 0b37ab6 Compare November 26, 2025 17:16
@DieracDelta DieracDelta marked this pull request as ready for review November 26, 2025 17:23
@edolstra
Copy link
Member

This seems annoyingly verbose in the vast majority of times when you don't care about the UID of the builder. It's also not helpful when there are multiple concurrent builds, since the progress bar will show only one.

I'm more in favor of improving observability by allowing you to query the status of builds, e.g. having nix store info --json return information about all active builds (which could include their UIDs).

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