cli: demote version mismatch to warning for now (#35548)

This commit is contained in:
Simon Klee 2026-07-06 14:39:58 +02:00 committed by GitHub
commit 41d11a8a89
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 3 additions and 3 deletions

View file

@ -31,8 +31,8 @@ const attach = Effect.fn("cli.daemon.attach")(function* (options: AttachOptions)
catch: (cause) => attachError(options, cause),
})
if (health.version !== InstallationVersion)
return yield* Effect.fail(
new Error(`Server at ${options.url} has version ${health.version}; this client requires ${InstallationVersion}`),
process.stderr.write(
`Warning: Server at ${options.url} has version ${health.version}; this client is ${InstallationVersion}. Continuing anyway.\n`,
)
return transport
})