CircleCI には便利な Auto-cancel redundant builds があり，有効にしておくと，同じブランチに対して複数回ビルドがトリガーされた場合に，自動的に過去のビルドがキャンセルされる．繰り返し git push をして，さらに CI 時間が長いような場合には，無駄な…