Typst への移行

genji1024 commented

2026-09-02 12:40:14 +09:00

Owner

現在のドキュメントの内容を保持したまま、TeX から Typst に移行する。Forgejo Action による自動ビルドも実装する。

genji1024 commented

2026-09-03 13:15:05 +09:00

Author

Owner

@bot-genji1024 実装と MR の発行をお願いします。

bot-genji1024 was assigned by genji1024

2026-09-03 13:15:21 +09:00

bot-genji1024 referenced this issue from a pull request that will close it,

2026-09-04 03:42:28 +09:00

feat(docs): migrate LaTeX document to Typst #2

bot-genji1024 commented

2026-09-04 03:42:59 +09:00

Collaborator

実行結果

実施内容

TeX (LaTeX) のドキュメントを Typst へ移行しました (本文・数式・図・表・ラベル・参考文献を保持)
Forgejo Actions による Typst 自動ビルド (push / PR 時に PDF を artifact 公開) を追加しました

変更ファイル

main.typ (新規) — Typst 版ドキュメント (12章/26節、数式・図・表を移行)
main.yml (新規) — 参考文献 (Hayagriva 形式、12件)
.forgejo/workflows/build.yml (新規) — CI による Typst 自動ビルド + PDF artifact
README.md / .gitignore (更新) — ビルド手順を Typst 用に更新
main.tex ほか LaTeX 用ファイル・GitHub Pages ワークフロー (削除)

動作確認

typst compile — exit 0、警告なし、36 ページの PDF を生成
workflow YAML 検証 — パーズ成功
CI (Forgejo Actions) — 実行中です。完了次第結果を追記します

当初の CI 失敗について

run #101/#102 が 45〜51 秒で失敗していました。ランナーのログがエージェント側から取得できないため、実績のある sibling リポジトリのワークフローとのパターン比較と、捨てブランチでの egress probe（run #110/#113/#114/#115/#118）で原因を切り分けました。

原因（probe で実証）

actions/upload-artifact@v4 がこのランナーで動作しない（probe run #110: 16 秒で失敗）。@v3 は成功（run #118: 19 秒）
ワークフローが sudo apt-get を使用していた一方、ランナーでは root で素の apt-get が正。sudo 経路が失敗の可能性
GitHub Releases / packages.typst.org / apt いずれの egress も問題なし（probe run #113/#114/#115 はすべて成功）

対応

.forgejo/workflows/build.yml を修正しました（commit 520d6fa）
- sudo を排除し素の apt-get に変更
- typst を v0.15.1 にピン留め（ローカル検証と同バージョン）、ネットワーク処理にタイムアウトを追加
- artifact アップロードを upload-artifact@v4 → @v3 に変更
- トリガーを push: branches: [main] + pull_request に整理

最終的な CI 結果

CI (Forgejo Actions) — 修正後の run #120（PR #2）で成功、main.pdf を artifact として公開

備考

アーティファクト（book-category-theory）からビルド済み main.pdf をダウンロードできます。ローカルでの確認手順は PR #2 の本文を参照してください。

CI の結果を訂正します（先行コメントは「実行中」と投稿した直後に失敗に遷移していました）。 ### 当初の CI 失敗について - run #101/#102 が 45〜51 秒で失敗していました。ランナーのログがエージェント側から取得できないため、実績のある sibling リポジトリのワークフローとのパターン比較と、捨てブランチでの egress probe（run #110/#113/#114/#115/#118）で原因を切り分けました。 ### 原因（probe で実証） - `actions/upload-artifact@v4` がこのランナーで動作しない（probe run #110: 16 秒で失敗）。`@v3` は成功（run #118: 19 秒） - ワークフローが `sudo apt-get` を使用していた一方、ランナーでは root で素の `apt-get` が正。sudo 経路が失敗の可能性 - GitHub Releases / packages.typst.org / apt いずれの egress も問題なし（probe run #113/#114/#115 はすべて成功） ### 対応 - `.forgejo/workflows/build.yml` を修正しました（commit `520d6fa`） - sudo を排除し素の `apt-get` に変更 - typst を v0.15.1 にピン留め（ローカル検証と同バージョン）、ネットワーク処理にタイムアウトを追加 - artifact アップロードを `upload-artifact@v4` → `@v3` に変更 - トリガーを `push: branches: [main]` + `pull_request` に整理 ### 最終的な CI 結果 - [x] CI (Forgejo Actions) — 修正後の run #120（PR #2）で成功、main.pdf を artifact として公開 ### 備考 - アーティファクト（`book-category-theory`）からビルド済み `main.pdf` をダウンロードできます。ローカルでの確認手順は PR #2 の本文を参照してください。

genji1024 closed this issue

2026-09-07 00:44:58 +09:00

Typst への移行 #1