GitHubActions

pushは成功したのにサイトが更新されない、を追いかけたら二重の教訓が出てきた