Skip to content

upstream: Review Julia through 5d2fcf16939a - #10

Merged
github-actions[bot] merged 4 commits into
masterfrom
sync/julia-0ee345ddfd83-5d2fcf16939a
Sep 19, 2026
Merged

github-actions[bot] merged 4 commits into
masterfrom
sync/julia-0ee345ddfd83-5d2fcf16939a

Conversation

@github-actions

Copy link
Copy Markdown

Upstream Julia 0ee345ddfd835ab5edf7a22f8f8eb4ba0d57ade5 → 5d2fcf16939ac96343d34226d938ddd35914c6b1.

Reviewed the upstream loader change, Joolia’s existing loading port, and the merged result. Applied one narrow zero-origin test adaptation; no builds or Julia tests were run.

Draft for human review. Automatic merging is disabled.

The upstream history is preserved in a merge commit; any Joolia adaptations are committed separately. The publisher explicitly dispatches Joolia CI on this branch; inspect its result before merging.

Review record: contrib/upstream-sync/reports/5d2fcf16939ac96343d34226d938ddd35914c6b1.json.

Incoming commits:

  • 5d2fcf16939ac96343d34226d938ddd35914c6b1 — loading: fall back to source when a pinned dependency's cache is gone (change 63190)

Merge integrated batches with a merge commit, never squash/rebase, to preserve the upstream ancestry.
Passing CI covers only contrib/ci/coverage.json; it does not certify the entire port.

@github-actions
github-actions Bot marked this pull request as ready for review September 19, 2026 01:55
@github-actions
github-actions Bot merged commit 9a0a1aa into master Sep 19, 2026
10 checks passed
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.

1 participant