If modifications are found this means that the style rules
are violated.

The uncrustify configuration file is the one from

  https://dune-project.org/share/dune-uncrustify.cfg

downloaded on Jan 5. 2024.