github actions on push vs on pull requestgithub actions on push vs on pull request

• 自然言語
• 数学入力