概要 PRオープン時にマイルストーンがついているか検知する ついていなかったらCIを落とす を実現したかったが方法に難があるのでメモを残す。 マイルストーンとは https://docs.github.com/ja/issues/using-labels-and-milestones-to-track-work/about-mile…