2019-10-17から1日間の記事一覧
概要 GitHub ActionsというCIを用いて,リポジトリにPushすると自動的にTeXファイルからPDFファイルに出力するようなもの.出力はGitHub APIを使って,GitHub ReleaseのAssetsに添付します. リポジトリ READMEにも同様の説明があるよ リポジトリ 前提 Gitを…
概要 GitHub ActionsというCIを用いて,リポジトリにPushすると自動的にTeXファイルからPDFファイルに出力するようなもの.出力はGitHub APIを使って,GitHub ReleaseのAssetsに添付します. リポジトリ READMEにも同様の説明があるよ リポジトリ 前提 Gitを…