GitHub レポジトリに LaTeX コードが v1 のようなタグでプッシュされたときに、そのコードを latexmk でビルドして PDF を生成し、それを v1 の名前でリリースにぶら下げるための GitHub Actions を書きました。
5/28/2024様々な理由でわくわく鮟鱇ランド(mstdn.anqou.net)がダウンしていることがあります。その際は以下のリンクを参考にしてください。
5/26/2024OCaml で Mastodon 用の Kubernetes operator を書きました。
2/28/2024NuSMV をインストールして、簡単なモデルを書いて、それをバッチモードと対話モードで動かします。
2/25/2024or
By clicking below, you agree to our terms of service.
New to HackMD? Sign up