ワークフローの実行を手動でトリガーできるようにするイベント名はどれか。

workflow_dispatchを定義すると、GitHubのWeb UIに「Run workflow」ボタンが表示される。