github actions workflow on pull requestgithub actions workflow on pull request

• 自然言語
• 数学入力