validation: run CI and CodeQL for issue 427 stack#435
Closed
jeremi wants to merge 7 commits into
Closed
Conversation
Signed-off-by: Jeremi Joslin <jeremi@joslin.fr>
Signed-off-by: Jeremi Joslin <jeremi@joslin.fr>
Signed-off-by: Jeremi Joslin <jeremi@joslin.fr>
Signed-off-by: Jeremi Joslin <jeremi@joslin.fr>
Signed-off-by: Jeremi Joslin <jeremi@joslin.fr>
Signed-off-by: Jeremi Joslin <jeremi@joslin.fr>
Signed-off-by: Jeremi Joslin <jeremi@joslin.fr>
7 tasks
Member
Author
|
Validation review verdict: please do not merge this PR. Its evidence is now obsolete. The validated stack predates the merged release reproducibility work, omits the final planner hardening that landed through PR #428, and is stale against current main. Please refresh the underlying PRs on the final release base and create a fresh main-targeted validation PR only after those fixes are ready. Until then this draft should be treated as historical validation evidence, not a beta-16 merge signal. |
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.
Validation-only PR for the complete #427 implementation stack. Do not merge this PR.
Review and merge through the small stacked PRs:
This main-targeted PR exists because the repository's CI and CodeQL workflows run only for pull requests targeting main or release/1.0. It provides the combined build and security signal while keeping the implementation PRs reviewable.
Local verification on this exact head: