(url?: string, title?: string)
| 2022 | |
| 2023 | const appendSource = (url?: string, title?: string) => { |
| 2024 | if (!url || seen.has(url)) return; |
| 2025 | seen.add(url); |
| 2026 | sources.push({ url, title }); |
| 2027 | }; |
| 2028 | |
| 2029 | const appendAnnotations = (annotations: any[] | undefined) => { |
| 2030 | if (!Array.isArray(annotations)) return; |
| 2031 | for (const entry of annotations) { |
no test coverage detected