モチベーション GitHubへのpushをトリガーとしてコンパイルやlintを行なって継続的にコードをデリバリーするCIが開発プロセスの重要な要素となってきました．普段からCircle CIやTravis CIをいじっている人が論文を書こうと思った時，新しいコミットに対し...