diff --git a/editors/code/src/installation/server.ts b/editors/code/src/installation/server.ts index f359584744..05730a7788 100644 --- a/editors/code/src/installation/server.ts +++ b/editors/code/src/installation/server.ts @@ -85,10 +85,10 @@ function shouldDownloadServer( /** * Enforcing no reentrancy for this is best-effort. */ -const downloadServer = notReentrant(async function downloadServer( +const downloadServer = notReentrant(async ( source: ArtifactSource.GithubRelease, config: Config, -): Promise { +): Promise => { try { const releaseInfo = await fetchArtifactReleaseInfo(source.repo, source.file, source.tag);