jurupapa https://blog.hatena.ne.jp/jurupapa/ Maxima で綴る数学の旅 https://maxima.hatenablog.jp/ その他 Lean4+Mathlib4の組み合わせで証明が出来上がるとレポジトリをGithubで公開したくなります。この時にGithub Actionsを使ってCI (Continuous Integration)を設定しておくと、利用者がレポジトリをダウンロードしてから利用を開始する体験を向上できます。この記事は GitHub - leanprover/lean-action: GitHub action for standard CI in Lean projects を参考にして書き直しました。コメントでこちらを教えていただいた北窓さんに感謝です！！ やることは次の通りです。 1. レポジトリのト… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmaxima.hatenablog.jp%2Fentry%2F2025%2F09%2F03%2F003000" title="Lean4レポジトリ公開時の良いプラクティス - Maxima で綴る数学の旅" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/j/jurupapa/20250726/20250726191722.jpg Hatena Blog https://hatena.blog 2025-09-03 00:30:00 rich https://maxima.hatenablog.jp/entry/2025/09/03/003000 1.0 100%