The TS-GitLab will have to shut down towards the end of the year — please think about migrating your projects to or GitHub.
(This is still a very early message, meant to keep you informed. There will be more urgent ones in the future.)

Commit ef5fb0dd authored by Dion Häfner's avatar Dion Häfner

Remove build directories after update

parent 512076a6
......@@ -22,7 +22,8 @@ update_dune_job:
- ./dune-common/bin/dunecontrol update || true
- ./dune-common/bin/dunecontrol --module=dorie all
- ./dune-common/bin/dunecontrol --module=dorie make install
- ./dune-common/bin/dunecontrol exec "rm -rf build-cmake"
- ./dune-common/bin/dunecontrol all
- ./dune-common/bin/dunecontrol make install
- ARGS="--output-on-failure" ./dune-common/bin/dunecontrol --only=dorie make test
stage: main
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment