Skip to content

Dont run solver if direct dep doesnt build with dune#386

Open
gridbugs wants to merge 2 commits intotarides:mainfrom gridbugs:dont-run-solver-if-direct-dep-doesnt-build-with-dune
+90-19

Commits

Commits on Apr 28, 2023