Skip to content

Move building of tests to separate build_tests target in accordance with Dune conventions

Steffen Müthing requested to merge feature/do-not-built-tests-by-default into master

dune-opcounter is a dependency of dune-perftool, and building the tests everytime we want to test dune-perftool seems a little silly.

Merge request reports