github actions run on pull request mergegithub actions run on pull request merge

• 自然言語
• 数学入力