pushでcircleci着火しなかったんだけどなんでだ この際せっかくだしgithub actionsに移行しちゃおうかな 面倒