Skip to content

Fix problem in duneci-standard-test

Also, export the install result so that dune-ctest can export it into JUnit.

Merge request reports