2020-01-09 2020-01-09 tech tech tags github actions, pandoc, docker
markdownでレポートを書き、gitで差分管理しつつpdfへの自動コンパイル