github actions if pull request mergedgithub actions if pull request merged

• 自然言語
• 数学入力