diff --git a/CHANGELOG.md b/CHANGELOG.md index 687b00f18..a1a79dcaa 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,6 +2,7 @@ ## Unreleased +- Disable constant dune availability announcements. (#2037) - Add syntax highlighting support for Rocq 9.0 dune plugin. (#2026) - Add dune syntax highlighting for `melange.emit` stanza and `melange.runtime_deps` library field (#2027) diff --git a/src/dune.ml b/src/dune.ml index 438443384..0378b234e 100644 --- a/src/dune.ml +++ b/src/dune.ml @@ -115,11 +115,6 @@ let make root () = | Ok v -> (match Dune_version.from_string v with | Some version when Dune_version.is_valid version -> - show_message - `Info - "Dune Package Management is available with dune from %s, version %s." - (Path.to_string binary) - v; Some { bin; root } | _ -> None) | Error _err -> None) @@ -140,11 +135,6 @@ let make root () = | Ok v -> (match Dune_version.from_string v with | Some version when Dune_version.is_valid version -> - show_message - `Info - "Dune Package Management is available with dune from %s, version %s." - path - v; Promise.return (Some { bin; root }) | _ -> Promise.return None) | Error _err -> Promise.return None)))