github actions pull request default typesgithub actions pull request default types

• 自然言語
• 数学入力