coq-dpdgraph icon indicating copy to clipboard operation
coq-dpdgraph copied to clipboard

Published 20 hours ago • verified publisher icon coq-community

Add dune support back

Open Alizter opened this issue 2 years ago • 1 comments

This time let us make sure that we are actually running the tests on CI for coq master:

  • [ ] CI running tests

Alizter avatar Mar 03 '23 14:03 Alizter

I am not certain the test-suite is running here @palmskog. I will need to investigate some other time.

Alizter avatar Mar 03 '23 16:03 Alizter