[red-knot] Improve log message for default python platform (#17700)

This commit is contained in:
Micha Reiser 2025-04-29 10:26:41 +02:00 committed by GitHub
parent 5096824793
commit c953e7d143
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 3 deletions

View File

@ -68,9 +68,7 @@ impl Options {
.and_then(|env| env.python_platform.as_deref().cloned())
.unwrap_or_else(|| {
let default = PythonPlatform::default();
tracing::info!(
"Defaulting to default python version for this platform: '{default}'",
);
tracing::info!("Defaulting to python-platform `{default}`");
default
});
ProgramSettings {