Repository navigation
chore: sync public mirror from internal - #1423
Merged
Merged
Conversation
Contributor
Author
|
Resolved 0 review-bot thread(s) on this generated public mirror PR. Review of mirrored code belongs on the mono source PR. |
Codex Review SummaryThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
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.
Summary
dx-corp/monodx-corp/codeas a generated public mirror of the private source of truth6529900782746f88692761b446f8729a9e9d5b8263c72682366aca96d1a1ccf399c2268c878c69a02file(s) to copy/update and0stale file(s) to delete0sync-holdlabel to this PR; the sync workflow skips every push while it is setSource-of-truth status
Projection: deixic-code
Source: dx-corp/mono@6529900782746f88692761b446f8729a9e9d5b82
Prior destination base: 63c7268
Content SHA-256: 942ad8423dd2c7a7f3bc92d5cf0a3c851941c19571ad17f9be3d719579c790d2
Result: drift_detected; 2 changed, 0 deleted
Destination-owned content is preserved. Destination CI is a separate health signal.
copy/update .repository-projection.json
copy/update scripts/ci/aws-lc-system-env.sh
Drift sample
Public-only commits since last generated sync
Validation
Test Plan
maestro-sync-public-release-mirrorworkflow inpublic-treemoderequire-internal-prconfirms internal source PR lineagemaestro-ciruns the full public workflow on owned runners; its result is pendingStaged Rollout
dx-corp/mono@6529900782746f88692761b446f8729a9e9d5b82, including existing hidden/evaluation surfaces, and keeps public package parity behind the established public-source-provenance gate.Public main verification
The full
maestro-cipush run on public main commitf847ac8e8340344165de63a11ad535cbf55bda35passed: https://github.com/dx-corp/code/actions/runs/38671124459. All four Rust shards, Linux check, lint, protocol/integration/scenario/contracts/tooling, supply chain, native release and the JetBrains plugin completed successfully. Event-gated advisory/live jobs were skipped by the push event. This is post-merge evidence; it does not restate any canceled or pending pre-merge check as passing.