Skip to content

Merge upstream v0.14.2 - #435

Merged
3w36zj6 merged 13 commits into
mainfrom
feature/merge-upstream-v0.14.2
Sep 30, 2026
Merged

3w36zj6 merged 13 commits into
mainfrom
feature/merge-upstream-v0.14.2

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

Caution

コンフリクトの解消のため、このPull Requestは必ずCreate a merge commitでマージしてください。

このPull Requestでは、上流リポジトリのv0.14.2の変更をマージします。

@github-actions

Copy link
Copy Markdown
Contributor Author

Warning

コンフリクトマーカーが検出されました。以下のファイルを確認し、コンフリクトを解消してください。

  • HEAD:NOTICE
  • HEAD:crates/typst-library/src/layout/grid/mod.rs
  • HEAD:tests/suite/model/heading.typ

@3w36zj6
3w36zj6 marked this pull request as draft September 28, 2026 00:43
@3w36zj6 3w36zj6 self-assigned this Sep 28, 2026
@3w36zj6

3w36zj6 commented Sep 28, 2026

Copy link
Copy Markdown
Member

@3w36zj6
3w36zj6 marked this pull request as ready for review September 28, 2026 18:10
@3w36zj6 3w36zj6 linked an issue Sep 28, 2026 that may be closed by this pull request

@kimushun1101 kimushun1101 left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ありがとうございます。問題ないと思います。追加翻訳issuesも発生しないと思います。

@kimushun1101

Copy link
Copy Markdown
Member

@3w36zj6
取り込みありがとうございます。前回の #415 と同じく、git に理想のマージ結果を別に作らせて、この PR と突き合わせる方法で確認しました。

  • chore: 上流のマージ時に上流の生成物を採用 #426 のワークフロー修正が効いていて、今回のコンフリクトは grid/mod.rs の1件だけでした(前回は180件)
  • 理想のマージ結果との違いは、grid/mod.rs、changelog のリンク展開、metadata.json、translation-status.json の4ファイルで、どれも意図どおりです
  • 上流で英語の説明が変わったのは、未翻訳のページか example コードだけなので、再翻訳の issue は不要だと思います

マージ時は本文のとおり Create a merge commit でお願いします。次回の取り込みで v0.14.2 を出発点にできるかどうかがここで決まり、下の件にも関わります。

もう1点、この PR の範囲外ですが共有です。#415 で触れた tests/ref/ の画像のずれが、ワークフロー修正後も900枚残っています。直ったワークフローはこれを「fork 側の意図した変更」とみなして守ってしまうため、次のバージョンを取り込んでも自然には解消しません。v0.14.2 に揃える作業を #436 にまとめたので、この PR のマージ後、v0.15.0 の取り込みより前に対応できればと思います。

@3w36zj6
3w36zj6 merged commit bba1fc8 into main Sep 30, 2026
4 checks passed
@3w36zj6
3w36zj6 deleted the feature/merge-upstream-v0.14.2 branch September 30, 2026 17:25
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.

v0.14.2への更新

9 participants