gitlab-ci: adding cleanup job
authorReto Achermann <reto.achermann@inf.ethz.ch>
Tue, 7 May 2019 15:29:52 +0000 (17:29 +0200)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Tue, 7 May 2019 16:01:16 +0000 (18:01 +0200)
commitc3cfcda3f245e2b5c9b3e4b99da415507d8f23a6
treea6a7c3466b1d262c5b05b021b0a63089dfdcd0cf
parentbb5317d88f72554875eaba26f5949ef9d54f2edb
gitlab-ci: adding cleanup job

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
.gitlab-ci.yml