GitHub Actions を使っていて，コミットはプッシュするけどビルドはまだ実行したくないというときに [skip ci] をよく使っている．GitHub Actions では2021年にサポートされていて，他にも [no ci] や [skip actions] などのメッセージも使える docs.github.…