概要 GitHub ActionsというCIを用いて，リポジトリにPushすると自動的にTeXファイルからPDFファイルに出力するようなもの．出力はGitHub APIを使って，GitHub ReleaseのAssetsに添付します． リポジトリ READMEにも同様の説明があるよ リポジトリ 前提 Gitを…