(serverID: string)
| 117 | // We seed the push cache on the very first publish so waitForFreshPush can |
| 118 | // resolve immediately instead of waiting for a second debounced push. |
| 119 | function shouldSeedDiagnosticsOnFirstPush(serverID: string) { |
| 120 | return serverID === "typescript" |
| 121 | } |
| 122 | |
| 123 | export async function create(input: { |
| 124 | serverID: string |