Refactor: Add [-open] flags to [dune] to avoir [open Module] repetition (!59) · Merge requests · Nomadic Labs / Tezos Software Engineering Metrics

The 17.0 major release is coming on May 16, 2024! This version brings many exciting improvements to GitLab, but also removes some deprecated features. We are introducing three breaking change windows during which we expect breaking changes to be deployed to GitLab.com. You can read more about it on our blogpost . The second breaking change window begins 2024-04-29 09:00 UTC and ends 2024-05-01 22:00 UTC.

Arvid Jakobsson requested to merge arvid@refactor-with-dune-open into master Oct 25, 2023

Some cleanup. Builds on !58 (merged)

Edited Oct 25, 2023 by Arvid Jakobsson

Admin message

Refactor: Add [-open] flags to [dune] to avoir [open Module] repetition

Merge request reports