CI

LaTeXに詳しくない友人とちょっとした文書を共同で書くことになった。 お互いにちょうどよいのがMarkdownだと思ったのだが、いざPDF化してみようとするといろいろ難点があった。

GitHub Actionsというサービスが始まっていた。 LaTeXのビルドを自動化できたらいいなと思って使ってみようとしたが、 他人の作ったActionではいつも使っているフォントが使えないこ