(text: string)
| 45 | } |
| 46 | |
| 47 | function escapeHtml(text: string): string { |
| 48 | return text |
| 49 | .replace(/&/g, '&') |
| 50 | .replace(/</g, '<') |
| 51 | .replace(/>/g, '>') |
| 52 | .replace(/"/g, '"') |
| 53 | .replace(/'/g, '''); |
| 54 | } |
| 55 | |
| 56 | function getSummary(results: ValidationResults, pullRequest: PullRequest) { |
| 57 | return ` |