From 729c7ec447918dbabc818dd9f0a255390d34303c Mon Sep 17 00:00:00 2001 From: PizieDust Date: Thu, 11 Dec 2025 12:23:50 +0100 Subject: [PATCH 1/2] disable dune notifications --- src/dune.ml | 10 ---------- 1 file changed, 10 deletions(-) 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))) From 4c03729cb10fd5762771779311125f514cc2d86d Mon Sep 17 00:00:00 2001 From: PizieDust Date: Thu, 11 Dec 2025 13:09:10 +0100 Subject: [PATCH 2/2] add changelog --- CHANGELOG.md | 1 + 1 file changed, 1 insertion(+) 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)