[ANN] Dune 3.22

The Dune team is pleased to announce the release of dune 3.22.1.

If you encounter a problem with this release, please report it in our issue tracker.

Fixed

  • Restore compatibility with Windows 7 (#13905, @nojb)

  • dune test now runs tests in the default context only. When there is a single context, it is treated as the default. This fixes a crash when the workspace has no context named “default”. (#13930, fixes #13904, @Alizter)

  • Fix dune trace cat --chrome-trace to adhere to the Chrome Trace Event Format by providing timestamps and durations at microsecond granularity (#13911, fixes #13906, @Alizter)

2 Likes