Add new GitHubRepo connection config setting `workflowRun.workflows` to filter run reports by workflow name.