dune-docker issueshttps://gitlab.math.tu-dresden.de/ansgar/dune-docker/-/issues2018-05-11T21:07:25Zhttps://gitlab.math.tu-dresden.de/ansgar/dune-docker/-/issues/1duneci-install-module: only show build log on failure2018-05-11T21:07:25ZAnsgar Burchardtansgar.burchardt@tu-dresden.deduneci-install-module: only show build log on failureThe `duneci-install-module` script should only show the full build log in case the build fails. This would make the build log easier to read (less uninteresting information).
Version information should still be shown and ideally there i...The `duneci-install-module` script should only show the full build log in case the build fails. This would make the build log easier to read (less uninteresting information).
Version information should still be shown and ideally there is an environment variable to control the behavior.