JSON Schema for build trace entry #14425
Open
Conversation
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
Progress on NixOS#13405, which asks for an explicit characterisation of the equivalence relation like the one given here. Also progress on NixOS#11895, because we're using the term "build trace entry" instead of "realisation". Mention NixOS#9259, a future work item. Co-authored-by: Robert Hensing <roberth@users.noreply.github.com>
Note, starting to make progress on NixOS#11895 by calling it this in the manual.
|
This probably requires some team discussion on what the big plan with these "build traces" is. |
|
This PR or the PR it depends on? The top commit (this PR proper) just documents the status quo, which I (and @mschwaig) explicitly want to change, so I wouldn't view it as committing us to any design decision. (In fact, I have #12464 to change it. But I rather do that after this, so I can update the docs and code in one go, and we have something easier to review. That is why I am documenting the status quo first.) |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
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.
Motivation
More JSON Schema completeness
Context
Depends on #14408
Add 👍 to pull requests you find important.
The Nix maintainer team uses a GitHub project board to schedule and track reviews.