Discussions

• 1 You must be logged in to vote

  💡

  Modular config files named dunolint and found automatically

  mbarbin started Mar 25, 2025 in Ideas · Closed

  

  

  3
• 1 You must be logged in to vote

  💡

  Possible integration with the dune promotion workflow?

  mbarbin started Mar 25, 2025 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💬

  Relation to opam-dune-lint

  mbarbin started Jun 17, 2024 in General

  

  

  0