Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Readd warnings failing build in dev but exclude some unused warnings
- The idea is to make development easier by allowing code to be built with unused warnings - We're still restrictive on some warnings because dune won't output all warnings on every build
- Loading branch information