( workflows: WorkflowManifestEntry[], platforms: SetupPlatform[], )
| 233 | } |
| 234 | |
| 235 | function getRecommendedWorkflowIds( |
| 236 | workflows: WorkflowManifestEntry[], |
| 237 | platforms: SetupPlatform[], |
| 238 | ): string[] { |
| 239 | const selectedPlatforms = new Set<SetupPlatform>(platforms); |
| 240 | return workflows |
| 241 | .filter((workflow) => |
| 242 | workflow.targetPlatforms.some((platform) => selectedPlatforms.has(platform)), |
| 243 | ) |
| 244 | .map((workflow) => workflow.id); |
| 245 | } |
| 246 | |
| 247 | function getDefaultWorkflowIdsForPlatforms( |
| 248 | workflows: WorkflowManifestEntry[], |