diff --git a/CHANGELOG.md b/CHANGELOG.md index a46433a..c3337d4 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,3 +1,7 @@ +# Unreleased + +- Fix update check + # 3.1.0 - 2024-02-19 - Fix partial toolchains potentially being left in place when unpacking is aborted (#121) diff --git a/src/elan/install.rs b/src/elan/install.rs index 5c677ca..f94948f 100644 --- a/src/elan/install.rs +++ b/src/elan/install.rs @@ -30,7 +30,7 @@ pub fn check_self_update() -> Result> { let tag = fetch_latest_release_tag("leanprover/elan")?; let available_version = &tag[1..]; - Ok(if available_version != current_version { None } else { Some(available_version.to_owned()) }) + Ok(if available_version == current_version { None } else { Some(available_version.to_owned()) }) } #[derive(Copy, Clone)]